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.
SIAM Symposium on Simplicity in Algorithms (SOSA) A Breezing Proof of the KMW Bound.
Proc. ACM Program. Lang. Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
Proc. ACM Program. Lang. Mechanized Logical Relations for Termination-Insensitive Noninterference
Usenix Security Symposium (USENIX-Security) PhishPrint: Evading Phishing Detection Crawlers by Prior Profiling.
Conference on Uncertainty in Artificial Intelligence (UAI) Constrained differentially private federated learning for low-bandwidth devices.
Conference on Neural Information Processing Systems (NeurIPS) Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.
Conference on Neural Information Processing Systems (NeurIPS) WaveFake: A Data Set to Facilitate Audio Deepfake Detection.
International Conference on Machine Learning (ICML) Conditional Distributional Treatment Effect with Kernel Conditional Mean Embeddings and U-Statistic Regression.