On the usefulness of linear types for correct nonce use enforcement during compile time.

Richard Ostertág

Published in: CoRR (2023)

Keyphrases

access control
real time
social networks
integrity constraints
neural network
machine learning
decision making
website
case study
special case
linear constraints