Send email Copy Email Address

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.

Filter

Year 2023

2023

On Large Tweaks in Tweakable Even-Mansour with Linear Tweak and Key Mixing

Article

IACR Transactions on Symmetric Cryptology

Tags
Algorithmic Foundations and Cryptography
Authors
  • Benoît Cogliati
  • Jordan Ethan
  • Ashwin Jha
  • Soumya Kanti Saha
Full Paper Visit Detail Page
2023

Towards a Dereversibilizer: Fewer Asserts, Statically

Conference / Medium

Reversible Computation (RC)

Tags
Trustworthy Information Processing
Authors
  • Jonas Wolpers Reholt
  • Robert Glück
  • Matthis Kruse
Full Paper Visit Detail Page
2023

On Quantum Secure Compressing Pseudorandom Functions

Conference / Medium

International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Ritam Bhaumik
  • Benoît Cogliati
  • Jordan Ethan
  • Ashwin Jha
Full Paper Visit Detail Page
2023

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023

Book

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023

Distributed Maximal Matching and Maximal Independent Set on Hypergraphs

Conference / Medium

ACM-SIAM Symposium on Discrete Algorithms (SODA)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2023

Lifted Stackelberg Planning.

Conference / Medium

International Conference on Automated Planning and Scheduling (ICAPS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2022

2022-12-31

Subexponential Parameterized Algorithms for Planar and Apex-Minor-Free Graphs via Low Treewidth Pattern Covering

Article

SIAM Journal on Computing

Tags
Algorithmic Foundations and Cryptography
Authors
  • Fedor V Fomin
  • Daniel Lokshtanov
  • Dániel Marx
  • Marcin Pilipczuk
  • Michał Pilipczuk
  • Saket Saurabh
Full Paper Visit Detail Page
2022-12-29

Automated Program Repair Using Formal Verification Techniques

Book section

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Tags
Reliable Security Guarantees
Authors
  • Hadar Frenkel
  • Grumberg Orna
  • Rothenberg Bat-Chen
  • Sheinvald Sarai
Full Paper Visit Detail Page
2022-12-20

FuzzGAN: A Generation-Based Fuzzing Framework for Testing Deep Neural Networks

Conference / Medium

IEEE International Conference on High Performance Computing and Communications (HPCC)

Tags
Trustworthy Information Processing
Authors
  • Ge Han
  • Zheng Li
  • Peng Tang
  • Chengyu Hu
  • Shanqing Guo
Full Paper Visit Detail Page