Search results for "Non-interference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Sebastian Hunt, Isabella Mastroeni	The PER Model of Abstract Non-interference.	SAS	2005	DBLP DOI BibTeX RDF	abstract interpretation, Information flow, language-based security, non-interference
60	Xiaowei Huang 0001, Li Jiao, Weiming Lu	What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.	ICICS	2007	DBLP DOI BibTeX RDF	rule format, computer security, non-interference, semantic equivalences
60	Isabella Mastroeni	On the Rôle of Abstract Non-interference in Language-Based Security.	APLAS	2005	DBLP DOI BibTeX RDF	Language-based Security, Non-Interference, Declassification
49	Roberto Giacobazzi, Isabella Mastroeni	Timed Abstract Non-interference.	FORMATS	2005	DBLP DOI BibTeX RDF	security, Abstract interpretation, non-interference, timing channels
48	Roberto Giacobazzi, Isabella Mastroeni	Abstract non-interference: parameterizing non-interference by abstract interpretation.	POPL	2004	DBLP DOI BibTeX RDF	abstract interpretation, language-based security, non-interference, abstract domains
44	Roberto Giacobazzi, Isabella Mastroeni	Proving Abstract Non-interference.	CSL	2004	DBLP DOI BibTeX RDF	abstract non-interference, verification, Abstract interpretation, language-based security
42	Roberto Giacobazzi, Isabella Mastroeni	Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
36	Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux	Synthesis of Non-Interferent Timed Systems.	FORMATS	2009	DBLP DOI BibTeX RDF	Synthesis, Non-Interference, Timed Automaton
35	Alaaeddine Fellah, John Mullins	Admissible Interference by Typing for Cryptographic Protocols.	ICICS	2005	DBLP DOI BibTeX RDF	Admissible interference, Type systems, Process Algebra, Cryptographic Protocols, Security Properties
34	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
32	Peter Y. A. Ryan, Steve A. Schneider	Process Algebra and Non-Interference.	CSFW	1999	DBLP DOI BibTeX RDF
31	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automated Certification of Non-Interference in Rewriting Logic.	FMICS	2008	DBLP DOI BibTeX RDF
31	V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar 0001	Provably Correct Runtime Enforcement of Non-interference Properties.	ICICS	2006	DBLP DOI BibTeX RDF
31	Nadia Busi, Roberto Gorrieri	Positive Non-interference in Elementary and Trace Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
31	Nadia Busi, Roberto Gorrieri	A Survey on Non-interference with Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
31	Michael Backes 0001, Birgit Pfitzmann	Computational Probabilistic Non-interference.	ESORICS	2002	DBLP DOI BibTeX RDF
29	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
28	Hiroshi Unno 0001, Naoki Kobayashi 0001, Akinori Yonezawa	Combining type-based analysis and model checking for finding counterexamples against non-interference.	PLAS	2006	DBLP DOI BibTeX RDF	model checking, type system, non-interference
28	A. W. Roscoe 0001, Jim Woodcock 0001, Lars Wulf	Non-Interference Through Determinism.	ESORICS	1994	DBLP DOI BibTeX RDF	Security, Formal methods, Process algebra, Determinism, Automatic verification, Non-interference
26	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
26	Damiano Zanardini	Abstract non-interference in a fragment of Java bytecode.	SAC	2006	DBLP DOI BibTeX RDF
26	Michael Backes 0001, Birgit Pfitzmann	Intransitive Non-Interference for Cryptographic Purpose.	S&P	2003	DBLP DOI BibTeX RDF
26	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Approximate Non-Interference.	CSFW	2002	DBLP DOI BibTeX RDF
26	Aris Zakinthinos, E. Stewart Lee	The composability of non-interference [system security].	CSFW	1995	DBLP DOI BibTeX RDF	McCullough's conjecture, noninterference composability, feedback, security of data, system security
25	Heiko Mantel	Possibilistic Definitions of Security - An Assembly Kit.	CSFW	2000	DBLP DOI BibTeX RDF	information flow, security models, non-interference
24	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
24	Musard Balliu, Isabella Mastroeni	A weakest precondition approach to active attacks analysis.	PLAS	2009	DBLP DOI BibTeX RDF	robustness, non-interference, declassification, program semantics, active attackers
24	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Information Flow Analysis in a Discrete-Time Process Algebra.	CSFW	2000	DBLP DOI BibTeX RDF	Security, Real-time, Process Algebra, Non interference
24	Antonio Durante, Riccardo Focardi, Roberto Gorrieri	CVS: A Compiler for the Analysis of Cryptographic Protocols.	CSFW	1999	DBLP DOI BibTeX RDF	Authentication, Process Algebras, Automatic Verification, Non-Interference
23	Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk	Secure Information Flow by Self-Composition.	CSFW	2004	DBLP DOI BibTeX RDF
22	Peter Y. A. Ryan	Mathematical Models of Computer Security.	FOSAD	2000	DBLP DOI BibTeX RDF
22	Tobe Toben	Non-interference Properties for Data-Type Reduction of Communicating Systems.	IFM	2007	DBLP DOI BibTeX RDF
20	Damiano Zanardini	Higher-Order Abstract Non-interference.	TLCA	2005	DBLP DOI BibTeX RDF
20	Ricardo H. Medel, Adriana B. Compagnoni, Eduardo Bonelli	A Typed Assembly Language for Non-interference.	ICTCS	2005	DBLP DOI BibTeX RDF
20	Gilles Barthe, Tamara Rezk	Non-interference for a JVM-like language.	TLDI	2005	DBLP DOI BibTeX RDF	type systems, confidentiality, low level languages
20	Vladimir Klebanov	A JMM-Faithful Non-interference Calculus for Java.	FIDJI	2004	DBLP DOI BibTeX RDF
20	Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Static Analysis for Secrecy and Non-interference in Networks of Processes.	PaCT	2001	DBLP DOI BibTeX RDF
20	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Message Authentication through Non Interference.	AMAST	2000	DBLP DOI BibTeX RDF
19	Pi-Shan Hsu, Te-Jeng Chang, Chien-Pen Chuang, Ming-Hsiung Wu	A Dynamic, Real Time and Non-interference Quantitative Measurement Technique on Diagnosing Instructional Condition for Adaptive E-learning.	APSCC	2008	DBLP DOI BibTeX RDF
19	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
18	Jason Howarth, Irfan Altas, Barney Dalgarno	Information Flow Control Using the Java Virtual Machine Tool Interface (JVMTI).	ARES	2010	DBLP DOI BibTeX RDF	dynamic flow control, indirect information flow, Java Virtual Machine Tool Interface (JVMTI), Java, Information flow control, non-interference
18	Alejandro Russo, Andrei Sabelfeld	Securing Timeout Instructions in Web Applications.	CSF	2009	DBLP DOI BibTeX RDF	internal timing covert channel, information-flow, web security, non-interference, timeouts
18	Salvador Cavadini	Secure slices of insecure programs.	AsiaCCS	2008	DBLP DOI BibTeX RDF	information flow, program slicing, non-interference, program dependences
18	Isabella Mastroeni, Damiano Zanardini	Data dependencies and program slicing: from syntax to abstract semantics.	PEPM	2008	DBLP DOI BibTeX RDF	abstract non-interference, abstract interpretation, program slicing, dependency analysis
18	Sebastian Hunt, David Sands 0001	On flow-sensitive security types.	POPL	2006	DBLP DOI BibTeX RDF	static analysis, type systems, information flow, non-interference, flow-sensitivity
18	Rachid Echahed, Frédéric Prost	Security policy in a declarative style.	PPDP	2005	DBLP DOI BibTeX RDF	confidentiality, non-interference
18	Michael Backes 0001, Birgit Pfitzmann	Computational probabilistic noninterference.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Security, Cryptography, Information flow, Non-interference, Simulatability
18	François Pottier, Vincent Simonet	Information flow inference for ML.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	non-interference, Constraint-based analysis
18	Andreas Polze, Lui Sha	Composite Objects: Real-Time Programming with CORBA.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Object-based Real-Time Computing, Interoperability, CORBA, Non-interference, Composite Objects
18	Alessandro Aldini, Roberto Gorrieri	Security Analysis of a Probabilistic Non-repudiation Protocol.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
16	Yûta Kaneko, Naoki Kobayashi 0001	Linear Declassification.	ESOP	2008	DBLP DOI BibTeX RDF
16	Serdar Tasiran, Tayfun Elmas	Rollback Atomicity.	RV	2007	DBLP DOI BibTeX RDF
16	Michael Backes 0001	Quantifying Probabilistic Information Flow in Computational Reactive Systems.	ESORICS	2005	DBLP DOI BibTeX RDF
15	Florian Kammüller	Formalizing non-interference for a simple bytecode language in Coq.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification
15	Simone Frau, Roberto Gorrieri, Carlo Ferigato	Petri Net Security Checker: Structural Non-interference at Work.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
15	Deepak Garg 0001, Frank Pfenning	Non-Interference in Constructive Authorization Logic.	CSFW	2006	DBLP DOI BibTeX RDF
15	Simone Tini	Rule Formats for Non Interference.	ESOP	2003	DBLP DOI BibTeX RDF
15	Michele Bugliesi, Ambra Ceccato, Sabina Rossi	Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.	FCT	2003	DBLP DOI BibTeX RDF
13	P. G. Allen	A Comparison of non-Interference and Non-Deducibility using CSP.	CSFW	1991	DBLP DOI BibTeX RDF
12	Radha Jagadeesan	From Authorization Logics to Types for Authorization.	APLAS	2008	DBLP DOI BibTeX RDF
12	François Pottier, Vincent Simonet	Information flow inference for ML.	POPL	2002	DBLP DOI BibTeX RDF
12	Heiko Mantel	Unwinding Possibilistic Security Properties.	ESORICS	2000	DBLP DOI BibTeX RDF	unwinding, refinement, information flow, security models
11	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
11	Lennart Beringer, Martin Hofmann 0001	Secure information flow and program logics.	CSF	2007	DBLP DOI BibTeX RDF
11	Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter	Integration of a Security Type System into a Program Logic.	TGC	2006	DBLP DOI BibTeX RDF
11	Marieke Huisman, Pratik Worah, Kim Sunesen	A Temporal Logic Characterisation of Observational Determinism.	CSFW	2006	DBLP DOI BibTeX RDF
11	Gurvan Le Guernic, Anindya Banerjee 0001, Thomas P. Jensen, David A. Schmidt	Automata-Based Confidentiality Monitoring.	ASIAN	2006	DBLP DOI BibTeX RDF
11	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
11	Gilles Barthe, Amitabh Basu, Tamara Rezk	Security Types Preserving Compilation: (Extended Abstract).	VMCAI	2004	DBLP DOI BibTeX RDF
11	Annalisa Bossi, Carla Piazza, Sabina Rossi	Unwinding Conditions for Security in Imperative Languages.	LOPSTR	2004	DBLP DOI BibTeX RDF
11	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
11	Libin Wang, Kefei Chen	A Typed Theory for Access Control and Information Flow Control in Mobile Systems.	ACISP	2003	DBLP DOI BibTeX RDF
11	Riccardo Focardi, Sabina Rossi	Information Flow Security in Dynamic Contexts.	CSFW	2002	DBLP DOI BibTeX RDF
11	Glen E. Newton	Proving Properties of Interacting Processes.	Acta Informatica	1974	DBLP DOI BibTeX RDF
10	Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook	EffectiveAdvice: disciplined advice with explicit effects.	AOSD	2010	DBLP DOI BibTeX RDF	AOP, interference, monads, parametricity, mixins
10	Hrishikesh Venkataraman, Abdurazak Mudesir, Sinan Sinanovic, Harald Haas	Time Slot Partitioning and Random Data Hopping for TDD Based Multihop Wireless Networks.	VTC Spring	2007	DBLP DOI BibTeX RDF
9	Wenjing Zhong, Jinjing Zhao, Hesuan Hu	Non-interference assessment in colored net systems via integer linear programming.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
9	Roberto Gorrieri	Distributed Non-Interference.	CoRR	2023	DBLP DOI BibTeX RDF
9	Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino	DeFi composability as MEV non-interference.	CoRR	2023	DBLP DOI BibTeX RDF
9	Anthony Spriet, Didier Lime, Olivier H. Roux	Timed Non-interference Under Partial Observability and Bounded Memory.	FORMATS	2023	DBLP DOI BibTeX RDF
9	Francesco Basile, Gianmaria De Tommasi	Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
9	Hanzhang Zhi, Haoran Qi, Kai Chen, Xuran Wang, Weizhe Ni, Dong F. Wang, Man Yu	A Passive Non-Interference Scheme for Synchronously Measuring Multiple Parameters With Single Sensing Unit.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
9	Guanglong Du, Huijin Wang, Kang Su, Xueqian Wang 0001, Shaohua Teng, Peter X. Liu	Non-Interference Driving Fatigue Detection System Based on Intelligent Steering Wheel.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
9	Francesco Basile, Gianmaria De Tommasi	Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
9	Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi	Persistent Stochastic Non-Interference.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
9	Andrea Marin, Carla Piazza, Sabina Rossi	D_PSNI: Delimited persistent stochastic non-interference.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
9	Miquel Bofill, Joan Espasa, Mateu Villaret	Relaxing non-interference requirements in parallel plans.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
9	Wenjing Zhong, Jinjing Zhao, Hesuan Hu	A Multilevel Non-interference Vulnerability Analysis Method for Information Leakage Problem.	DSC	2021	DBLP DOI BibTeX RDF
9	Rafael Silva, João F. L. Alcântara	ASPIC ? and the Postulates of Non-interference and Crash-Resistance.	BRACIS (1)	2021	DBLP DOI BibTeX RDF
9	Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger	Bounded Model Checking of Speculative Non-Interference.	ICCAD	2021	DBLP DOI BibTeX RDF
9	Dan Frumin, Robbert Krebbers, Lars Birkedal	Compositional Non-Interference for Fine-Grained Concurrent Programs.	SP	2021	DBLP DOI BibTeX RDF
9	Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub	Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations.	J. Cryptogr. Eng.	2020	DBLP DOI BibTeX RDF
9	Étienne André, Aleksander Kryukov	Parametric non-interference in timed automata.	CoRR	2020	DBLP BibTeX RDF
9	Gaëtan Cassiers, François-Xavier Standaert	Trivially and Efficiently Composing Masked Gadgets With Probe Isolating Non-Interference.	IEEE Trans. Inf. Forensics Secur.	2020	DBLP DOI BibTeX RDF
9	Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001, David Pichardie	System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
9	Sandip Ghosal, R. K. Shyamasundar	A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.	APSEC	2020	DBLP DOI BibTeX RDF
9	Étienne André, Aleksander Kryukov	Parametric non-interference in timed automata.	ICECCS	2020	DBLP DOI BibTeX RDF
9	Dan Frumin, Robbert Krebbers, Lars Birkedal	Compositional Non-Interference for Fine-Grained Concurrent Programs.	CoRR	2019	DBLP BibTeX RDF
9	Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001	System-Level Non-interference of Constant-Time Cryptography. Part I: Model.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
9	Isabella Mastroeni, Michele Pasqua	Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference.	SAC	2019	DBLP DOI BibTeX RDF