Product programs in the wild: Retrofitting program verifiers to check information flow security
Marco Eilers, Severin Meier, Peter Müller[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer International Publishing
Cham
Pages 718-741
2021
Note(s): information flow, self composition
Springer International Publishing
Cham
Pages 718-741
2021
Note(s): information flow, self composition