We demonstrate Paragon, a Java-based programming language with integrated information-flow control. We show how the use of information-flow policies combined with encapsulation allows for simple yet powerful and flexible policy libraries tailored to the needs of a particular application or system
Paragon is a programming language that extends Java with statically checked information flow control...
We describe Javaflow and Paraflow, the client and server parts of a digital library, providing high-...
Abstract: We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow contr...
We demonstrate Paragon, a Java-based programming language with integrated information-flow control. ...
Conventional security policies for software applications are adequate for managing concerns on the l...
Conventional security policies for software applications are adequate for managing concerns on the l...
Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities ...
The work presented in this thesis contributes to the information flowpolicy specification language P...
Paragon is a newly developed language by the security research group of Chalmers University of Techn...
This paper presents Paralocks, a language for building expressive but statically verifiable fine-gra...
This paper presents Paralocks, a language for building expressive but statically verifiable fine-gra...
Information flow control (IFC) is a technique to assert the security of a given program with respect...
Early work on information flow security sought to develop theories for proving the absence of unwant...
Language-based information flow control (IFC) is a powerful tool to discover security leaks in softw...
Broberg and Sands (POPL’10) introduced a logic-based policy language, Paralocks, suitable for static...
Paragon is a programming language that extends Java with statically checked information flow control...
We describe Javaflow and Paraflow, the client and server parts of a digital library, providing high-...
Abstract: We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow contr...
We demonstrate Paragon, a Java-based programming language with integrated information-flow control. ...
Conventional security policies for software applications are adequate for managing concerns on the l...
Conventional security policies for software applications are adequate for managing concerns on the l...
Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities ...
The work presented in this thesis contributes to the information flowpolicy specification language P...
Paragon is a newly developed language by the security research group of Chalmers University of Techn...
This paper presents Paralocks, a language for building expressive but statically verifiable fine-gra...
This paper presents Paralocks, a language for building expressive but statically verifiable fine-gra...
Information flow control (IFC) is a technique to assert the security of a given program with respect...
Early work on information flow security sought to develop theories for proving the absence of unwant...
Language-based information flow control (IFC) is a powerful tool to discover security leaks in softw...
Broberg and Sands (POPL’10) introduced a logic-based policy language, Paralocks, suitable for static...
Paragon is a programming language that extends Java with statically checked information flow control...
We describe Javaflow and Paraflow, the client and server parts of a digital library, providing high-...
Abstract: We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow contr...
DOI
Add to ORKG