Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
Reversible Computation (RC) Towards a Dereversibilizer: Fewer Asserts, Statically
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)
Privacy Enhancing Technologies Symposium (PETS) Privacy Rarely Considered: Exploring Considerations in the Adoption of Third-Party Services by Websites
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) The Call Graph Chronicles: Unleashing the Power Within.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
ACM-SIAM Symposium on Discrete Algorithms (SODA)
ACM Conference on Computer and Communications Security (CCS) PELTA - Shielding Multiparty-FHE against Malicious Adversaries.
International Conference on Automated Planning and Scheduling (ICAPS) Lifted Stackelberg Planning.
ACM-SIAM Symposium on Discrete Algorithms (SODA) Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs