Search Results - Language-based Information Flow Security

Language-based information-flow security by Sabelfeld, A., Myers, A.C.

“…; this policy regulates information flow. Conventional security mechanisms such as access control and encryption do not directly address the enforcement of information-flow policies…”
Get full text

On-the-fly inlining of dynamic security monitors by Magazinius, Jonas, Russo, Alejandro, Sabelfeld, Andrei

“…? Language-based information-flow security considers programs that manipulate pieces of data at different sensitivity levels…”
Get full text

Jif: Language-based Information-flow Security in Java by Pullicino, Kyle

“… We list the main features of Jif and discuss the information flow problem that Jif helps to solve…”
Get full text

Towards Language-Based Mitigation of Traffic Analysis Attacks by Blaabjerg, Jeppe Fredsgaard, Askarov, Aslan

“… them, and the problem has received little attention in the language-based information flow literature…”
Get full text

Instruction-level security analysis for information flow in stack-based assembly languages by De Francesco, Nicoletta, Martini, Luca

“…We propose a method to analyze secure information flow in stack-based assembly languages, communicating with the external environment by means of input and output channels…”
Get full text

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment by Guo, Xiaolong, Dutta, Raj Gautam, He, Jiaji, Tehranipoor, Mark M., Jin, Yier

“… As a result, various security solutions have been developed to protect ICs, among which the language-based hardware security verification serves as a promising solution…”
Get full text

A scalable entropy estimator by Golia, Priyanka, Juba, Brendan, Meel, Kuldeep S.

“…) in programming-language-based security. Here, information-theoretic quantities capture the effort required on the part of an adversary to obtain access to confidential…”
Get full text

Nontransitive Security Types for Coarse-grained Information Flow Control by Lu, Yi, Zhang, Chenyi

“…Language-based information flow control (IFC) aims to provide guarantees about information propagation in computer systems having multiple security levels…”
Get full text

A monadic analysis of information flow security with mutable state by CRARY, KARL, KLIGER, ALEKSEY, PFENNING, FRANK

“… Our analysis is based on a logic of information flow derived from lax logic and the monadic metalanguage…”
Get full text

Security types preserving compilation by Barthe, Gilles, Rezk, Tamara, Basu, Amitabh

“…” (Sabelfeld and Myers, [Language-based information-flow security. IEEE Journal on Selected Areas in Communications 2003; 21:5–19…”
Get full text

Securing Class Initialization in Java-like Languages by Rafnsson, W., Nakata, K., Sabelfeld, A.

“…Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs…”
Get full text

Towards Language-Based Mitigation of Traffic Analysis Attacks by Jeppe Fredsgaard Blaabjerg, Aslan Askarov

“… them, and the problem has received little attention in the language-based information flow literature…”
Get full text

Compositional Security for Reentrant Applications by Cecchetti, Ethan, Yao, Siqiu, Ni, Haobin, Myers, Andrew C.

“… power of safe forms of reentrancy. We present a security type system that provably enforces secure information flow…”
Get full text

A Field-Sensitive Security Monitor for Object-Oriented Programs by Khakpour, Narges

“… flow violations and applies suitable countermeasures to prevent violations. We introduce an approach for modeling heap and information flow via heap…”
Get full text

Information Flow Control for Distributed Trusted Execution Environments by Gollamudi, Anitha, Chong, Stephen, Arden, Owen

“…Distributed applications cannot assume that their security policies will be enforced on untrusted hosts…”
Get full text

SoK: Shining Light on Shadow Stacks by Burow, Nathan, Zhang, Xinping, Payer, Mathias

“…Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity…”
Get full text

Information Flow Control for Serverless Systems by Chawla, Rishabh

“…Security for Serverless Systems is looked at from two perspectives, the server-level security managed by the infras-tructure company and the Application level Security managed…”
Get full text

IFCIL: An Information Flow Configuration Language for SELinux by Ceragioli, Lorenzo, Galletta, Letterio, Degano, Pierpaolo, Basin, David

“… However, CIL lacks mechanisms for ensuring that the resulting configurations obey desired information flow policies…”
Get full text

Secure information sharing in social agent interactions using information flow analysis by Bijani, Shahriar, Robertson, David, Aspinall, David

“…), a compact executable specification language based on logic programming and pi-calculus. Open multi-agent systems have experienced growing popularity in the multi-agent…”
Get full text

Integrating Information Flow Analysis in Unifying Theories of Programming by Mu, Chunyan, Li, Guoqiang

“…This paper presents a formal approach for modelling and reasoning about information flow control in software systems under Hoare and He's Unifying Theories of Programming (UTP…”
Get full text