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.
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
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