SCIF: A Language for Compositional Smart Contract Security.
Siqiu YaoHaobin NiAndrew C. MyersEthan CecchettiPublished 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