VERONICA: Expressive and Precise Concurrent Information Flow Security

2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ◽

10.1109/csf49147.2020.00014 ◽

2020 ◽

Author(s):

Daniel Schoepe ◽

Toby Murray ◽

Andrei Sabelfeld

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Concurrent Information

Download Full-text

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

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908100 ◽

2016 ◽

Author(s):

David Costanzo ◽

Zhong Shao ◽

Ronghui Gu

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Download Full-text

An Information Flow Security Model to Trusted Computing System

The First International Symposium on Data, Privacy, and E-Commerce (ISDPE 2007) ◽

10.1109/isdpe.2007.114 ◽

2007 ◽

Author(s):

Hu Jun ◽

Shen Changxiang

Keyword(s):

Information Flow ◽

Trusted Computing ◽

Computing System ◽

Security Model ◽

Information Flow Security

Download Full-text

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

ACM SIGARCH Computer Architecture News ◽

10.1145/2024723.2000087 ◽

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

Download Full-text

A bottom-up approach to verifiable embedded system information flow security

IET Information Security ◽

10.1049/iet-ifs.2012.0342 ◽

2014 ◽

Vol 8 (1) ◽

pp. 12-17 ◽

Author(s):

Dejun Mu ◽

Bo Ma ◽

Baolei Mao ◽

Wei Hu

Keyword(s):

Embedded System ◽

Information Flow ◽

Bottom Up ◽

Information Flow Security ◽

System Information

Download Full-text

Addressing covert termination and timing channels in concurrent information flow systems

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 ◽

10.1145/2364527.2364557 ◽

2012 ◽

Author(s):

Deian Stefan ◽

Alejandro Russo ◽

Pablo Buiras ◽

Amit Levy ◽

John C. Mitchell ◽

...

Keyword(s):

Information Flow ◽

Timing Channels ◽

Flow Systems ◽

Concurrent Information

Download Full-text

A Type System for Quantified Information-Flow Security in Java-Like Languages

2016 11th International Conference on Availability, Reliability and Security (ARES) ◽

10.1109/ares.2016.30 ◽

2016 ◽

Author(s):

Gohar Shakoori ◽

Mehran S. Fallah ◽

Zeinab Iranmanesh

Keyword(s):

Information Flow ◽

Type System ◽

Information Flow Security

Download Full-text

Specification of Information Flow Security Policies in Model-Based Systems Engineering

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04771-9_47 ◽

2018 ◽

pp. 617-632

Author(s):

Christopher Gerking

Keyword(s):

Information Flow ◽

Systems Engineering ◽

Security Policies ◽

Information Flow Security ◽

Model Based ◽

Model Based Systems Engineering

Download Full-text

Information-flow security for JavaScript and its APIs

Journal of Computer Security ◽

10.3233/jcs-160544 ◽

2016 ◽

Vol 24 (2) ◽

pp. 181-234 ◽

Author(s):

Daniel Hedin ◽

Luciano Bello ◽

Andrei Sabelfeld

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

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

Secure IT Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03638-6_27 ◽

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

Download Full-text

Value-Dependent Information-Flow Security on Weak Memory Models

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_32 ◽

2019 ◽

pp. 539-555 ◽

Author(s):

Graeme Smith ◽

Nicholas Coughlin ◽

Toby Murray

Keyword(s):

Information Flow ◽

Memory Models ◽

Information Flow Security

Download Full-text