Old Web
English
Sign In
Acemap
>
Paper
>
Mechanized Proofs: From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Mechanized Proofs: From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
2018
Marco Vassena
Alejandro Russo
Deepak Garg
Vineet Rajani
Deian Stefan
Keywords:
Information flow (information theory)
Algorithm
Mathematical proof
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]