412 citations · 554 across the 18 of their papers we have counts for
4 papers · 1 filter
Runtime Verification over Out-of-order Streams
David Basin, Felix Klaedtke, Eugen Zalinescu
We present an approach for verifying systems at runtime. Our approach targets distributed systems whose components communicate with monitors over unreliable channels, where message…
The Next 700 Policy Miners: A Universal Method for Building Policy Miners
Carlos Cotrini, Luca Corinzia, Thilo Weghorn +1
A myriad of access control policy languages have been and continue to be proposed. The design of policy miners for each such language is a challenging task that has required specia…
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse +3
The ability to quickly revoke a compromised key is critical to the security of any public-key infrastructure. Regrettably, most traditional certificate revocation schemes suffer fr…
Differential privacy with partial knowledge
Damien Desfontaines, Esfandiar Mohammadi, Elisabeth Krahmer +1
Differential privacy offers formal quantitative guarantees for algorithms over datasets, but it assumes attackers that know and can influence all but one record in the database. Th…