Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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
Proc. ACM Program. Lang. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Proc. ACM Program. Lang. Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Proc. ACM Program. Lang. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs