SCIF: A Language for Compositional Smart Contract Security.

Siqiu Yao Haobin Ni Andrew C. Myers Ethan Cecchetti

Published in: CoRR (2024)

Keyphrases

smart grid
programming language
information security
language learning
network security
computer security

security problems
access control
intrusion detection
cyber security
security policies

security issues
natural language
security requirements
security mechanisms
specification language

database
contractual obligations
security systems
supply chain
neural network