Search

Guillaume Scerri

Oracle simulation: a technique for protocol composition with long term shared secrets
Symbolic Models for Isolated Execution Environments

Published with Wowchemy — the free, open source website builder that empowers creators.