Boris Köpf

From MaRDI portal
Person:1702918

Available identifiers

zbMath Open kopf.borisMaRDI QIDQ1702918

List of research outcomes





PublicationDate of PublicationType
A Language-Theoretic View on Network Protocols2022-08-12Paper
Timing-Sensitive Information Flow Analysis for Synchronous Systems2022-03-09Paper
Security Analysis of Cache Replacement Policies2020-08-03Paper
https://portal.mardi4nfdi.de/entity/Q31215232019-03-18Paper
Symbolic polytopes for quantitative interpolation and verification2018-03-01Paper
Quantifying information flow in cryptographic systems2016-07-27Paper
Probabilistic relational reasoning for differential privacy2015-09-11Paper
Automation of quantitative information-flow analysis2013-06-28Paper
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks2008-10-27Paper
https://portal.mardi4nfdi.de/entity/Q30437702004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q30437022004-08-06Paper

Research outcomes over time

This page was built for person: Boris Köpf

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1702918&oldid=6350359"
Powered by MediaWiki