Login / Signup
A Sound Type System for Secure Currency Flow.
Luca Aceto
Daniele Gorla
Stian Lybech
Published in:
CoRR (2024)
Keyphrases
</>
real time
real world
database systems
video sequences
information flow
security protocols
identity management