Aaron Bembenek
Research Fellow - AI-human Teams for Cybersecurity
School of Computing and Information Systems
9 Scholarly works
0 Projects
HIGHLIGHTS
2024
Journal article
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
DOI: 10.1145/36897542023
Journal article
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
DOI: 10.1145/35712002022
Conference Proceedings
Formulog: Datalog SMT FP
2020
Journal article
Formulog: Datalog for SMT-based static analysis
DOI: 10.1145/34282092020
Conference Proceedings
Datalog-based systems can use incremental smt solving (extended abstract)
2020
Journal article
Proceedings 36th International Conference on Logic Programming (Technical Communications)
DOI: 10.4204/eptcs.325.72019
Conference Proceedings
Going into greater depth in the quest for hidden frames
RECENT SCHOLARLY WORKS
2018
Journal article
Bridging the Gap Between Computer Science and Legal Approaches to Privacy
2018
Journal article
Differential Privacy: A Primer for a Non-Technical Audience
DOI: 10.2139/ssrn.3338027