Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paul Gazzillo
Adding Concurrency to Smart Contracts
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
ACM SIGPLAN Notices
Computer Science
