Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Backes
PriCL: Creating a Precedent, a Framework for Reasoning About Privacy Case Law
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Delegatable Functional Signatures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
G2C: Cryptographic Protocols From Goal-Driven Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Novel Approach for Reasoning About Liveness in Cryptographic Protocols and Its Application to Fair Exchange
Hardware and Software Architecture of the Upgraded H.E.S.S. Cameras
Key-Dependent Message Security Under Active Attacks – BRSIM/UC-soundness of Dolev–Yao-Style Encryption With Key Cycles
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Long Term VHE Gamma Ray Monitoring of Bright Blazars With a Dedicated Cherenkov Telescope
On Fairness in Simulatability-Based Cryptographic Systems
