Search results
From MaRDI portal
- manipulation of labeled values for information-flow control libraries 2022-08-19 Paper Flexible dynamic information flow control in the presence of exceptions...10 bytes (16 words) - 13:01, 7 October 2023
- typing for information-flow control in Haskell 2017-05-10 Paper Addressing covert termination and timing channels in concurrent information flow systems 2014-07-21...10 bytes (16 words) - 16:49, 24 September 2023
- of Publication Type Flexible manipulation of labeled values for information-flow control libraries 2022-08-19 Paper...10 bytes (16 words) - 16:49, 24 September 2023
- of Publication Type Flexible manipulation of labeled values for information-flow control libraries 2022-08-19 Paper...10 bytes (16 words) - 16:49, 24 September 2023
- Publication Type Value Sensitivity and Observable Abstract Values for Information Flow Control 2016-01-12 Paper...10 bytes (16 words) - 03:28, 28 December 2023
- Publication Date of Publication Type Information flow control in software DB units based on formal verification 2022-09-16 Paper...10 bytes (18 words) - 01:36, 25 September 2023
- Publication Date of Publication Type JRIF: reactive information flow control for Java 2020-03-03 Paper...10 bytes (16 words) - 02:14, 25 September 2023
- Publication Date of Publication Type JRIF: reactive information flow control for Java 2020-03-03 Paper...10 bytes (16 words) - 02:14, 25 September 2023
- Publication Date of Publication Type Hybrid information flow control for low-level code 2023-05-26 Paper DOM: Specification and Client Reasoning 2016-12-21...10 bytes (18 words) - 17:09, 6 October 2023
- Date of Publication Type Hybrid information flow control for low-level code 2023-05-26 Paper Type-Based Access Control in Data-Centric Systems 2011-05-19...10 bytes (18 words) - 12:46, 7 October 2023
- Type Flexible Correct-by-Construction Programming 2023-08-26 Paper Information Flow Control-by-Construction for an Object-Oriented Language 2023-08-04 Paper...10 bytes (16 words) - 01:07, 25 September 2023
- Publication Date of Publication Type Flexible dynamic information flow control in the presence of exceptions 2017-10-23 Paper Building secure file systems...10 bytes (18 words) - 12:27, 14 March 2024
- Publication Date of Publication Type Information Flow Control-by-Construction for an Object-Oriented Language 2023-08-04 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 03:32, 7 October 2023
- Publication Type Information Flow Tracking for Side-Effectful Libraries 2023-03-10 Paper A Principled Approach to Tracking Information Flow in the Presence...10 bytes (16 words) - 14:01, 7 October 2023
- Type Flexible Correct-by-Construction Programming 2023-08-26 Paper Information Flow Control-by-Construction for an Object-Oriented Language 2023-08-04 Paper...10 bytes (16 words) - 14:19, 6 October 2023
- Publication Date of Publication Type Flexible dynamic information flow control in the presence of exceptions 2017-10-23 Paper Addressing covert termination...10 bytes (16 words) - 02:22, 25 September 2023
- typed information-flow security 2014-09-12 Paper A certified lightweight non-interference Java bytecode verifier 2014-03-12 Paper Secure information flow...10 bytes (16 words) - 02:55, 7 October 2023
- Paper Typing access control and secure information flow in sessions 2014-10-20 Paper Session Types for Access and Information Flow Control 2010-08-31 Paper...10 bytes (16 words) - 01:21, 11 December 2023
- Publication Date of Publication Type Possibilistic Information Flow Control in the Presence of Encrypted Communication 2022-03-07 Paper A Pragmatic Approach...10 bytes (16 words) - 13:58, 24 September 2023
- Disjunctive Information Flow 2016-01-08 Paper Modal abstractions of concurrent behavior 2015-09-17 Paper Discretionary Information Flow Control for Interaction-Oriented...10 bytes (17 words) - 00:02, 12 December 2023