Aaron Bembenek
Research Fellow - AI-human Teams for Cybersecurity
School of Computing and Information Systems
10 Scholarly works
0 Projects
HIGHLIGHTS
2026
Book Chapter
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
DOI: 10.1007/978-3-032-28079-4_102024
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.7
RECENT SCHOLARLY WORKS
2019
Conference Proceedings
Going into greater depth in the quest for hidden frames
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