scholarly journals End-to-end verification of information-flow security for C and assembly programs

2016 ◽  
Author(s):  
David Costanzo ◽  
Zhong Shao ◽  
Ronghui Gu
Keyword(s):  
Information Flow ◽  
Information Flow Security ◽  
End To End

scholarly journals End-to-end verification of information-flow security for C and assembly programs

2016 ◽  
Vol 51 (6) ◽  
pp. 648-664 ◽  
Author(s):  
David Costanzo ◽  
Zhong Shao ◽  
Ronghui Gu
Keyword(s):  
Information Flow ◽  
Information Flow Security ◽  
End To End

scholarly journals End-to-end Information Flow Security Model for Software-Defined Networks

2016 ◽  
Vol 22 (6) ◽  
pp. 735-749
Author(s):  
D. Ju. Chaly ◽  
E. S. Nikitin ◽  
E. Ju. Antoshina ◽  
V. A. Sokolov
Keyword(s):  
Information Flow ◽  
Software Defined Networks ◽  
Security Model ◽  
Information Flow Security ◽  
End To End

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security

2011 ◽  
Vol 39 (3) ◽  
pp. 189-200 ◽  
Author(s):  
Mohit Tiwari ◽  
Jason K. Oberg ◽  
Xun Li ◽  
Jonathan Valamehr ◽  
Timothy Levin ◽  
...  
Keyword(s):  
Information Flow ◽  
Information Flow Security

Information-flow security for JavaScript and its APIs

2016 ◽  
Vol 24 (2) ◽  
pp. 181-234 ◽  
Author(s):  
Daniel Hedin ◽  
Luciano Bello ◽  
Andrei Sabelfeld
Keyword(s):  
Information Flow ◽  
Information Flow Security

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode

2018 ◽  
pp. 437-453 ◽  
Author(s):  
Tobias Hamann ◽  
Mihai Herda ◽  
Heiko Mantel ◽  
Martin Mohr ◽  
David Schneider ◽  
...  
Keyword(s):  
Information Flow ◽  
Source Code ◽  
Information Flow Security ◽  
Benchmark Suite
Sign in / Sign up

Export Citation Format

Share Document