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