Export 1 results:
Author Title [ Type
] Year Filters: First Letter Of Title is B and Author is A. Popescu [Clear All Filters]
, “Bounded-Deducibility Security”, Archive of Formal Proofs, 2014.
Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496
] Year