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.
Structural Information and Communication Complexity (SIROCCO) An Analysis of Avalanche Consensus
Usenix Security Symposium (USENIX-Security) A Mixed-Methods Study on User Experiences and Challenges of Recovery Codes for an End-to-End Encrypted Service.
DISC International Symposium on Distributed Computing (DISC) Brief Announcement: Clock Distribution with Gradient TRIX.
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database (ECML PKDD) Data is Moody: Discovering Data Modification Rules from Process Event Logs
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Time-Lock Puzzles with Efficient Batch Solving
IEEE Symposium on Security and Privacy Workshops (SPW)
Proc. ACM Program. Lang. Almost-Sure Termination by Guarded Refinement
CoRR Exploring Power Side-Channel Challenges in Embedded Systems Security.
Proc. ACM Program. Lang. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement