Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Minh Ngo, David A. Naumann, Tamara Rezk |
Typed-based Relaxed Noninterference for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.00922, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Raimil Cruz, Éric Tanter |
Existential Types for Relaxed Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.04560, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Carlos Tomé Cortiñas, Nachiappan Valliappan |
Simple Noninterference by Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019, pp. 61-72, 2019, ACM, 978-1-4503-6836-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Raimil Cruz, Éric Tanter |
Existential Types for Relaxed Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, pp. 73-92, 2019, Springer, 978-3-030-34174-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Raimil Cruz, Éric Tanter |
Polymorphic Relaxed Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecDev ![In: 2019 IEEE Cybersecurity Development, SecDev 2019, Tysons Corner, VA, USA, September 23-25, 2019, pp. 101-113, 2019, IEEE, 978-1-5386-7289-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Christian Müller 0008, Helmut Seidl, Eugen Zalinescu |
Inductive Invariants for Noninterference in Multi-agent Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018, pp. 247-261, 2018, IEEE Computer Society, 978-1-5386-6680-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang |
Static Evaluation of Noninterference Using Approximate Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA, pp. 514-528, 2018, IEEE Computer Society, 978-1-5386-4353-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Fan Zhang, Cong Zhang 0007, Mingdi Xu, Xiaoli Liu, Fangning Hu, Han-Chieh Chao |
Automated Verification of Noninterference Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security - 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings, pp. 629-646, 2018, Springer, 978-3-030-01949-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter |
Type Abstraction for Relaxed Noninterference (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 3(2), pp. 09:1-09:2, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Eggert, Ron van der Meyden |
Dynamic intransitive noninterference revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 29(6), pp. 1087-1120, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Willard Rafnsson, Limin Jia 0001, Lujo Bauer |
Timing-Sensitive Noninterference through Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 3-25, 2017, Springer, 978-3-662-54454-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Cong Sun 0001, Ning Xi 0002, Jianfeng Ma 0001 |
Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, pp. 586-595, 2017, IEEE Computer Society, 978-1-5386-0367-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter |
Type Abstraction for Relaxed Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, pp. 7:1-7:27, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-035-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Peter Aldous |
Noninterference in Expressive Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
21 | Afshin Lamei, Mehran S. Fallah |
Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 22(7), pp. 956-991, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Zeinab Iranmanesh, Mehran S. Fallah |
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 46, pp. 20-43, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Eggert, Ron van der Meyden |
Dynamic Intransitive Noninterference Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.05187, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Oliver Woizekowski, Ron van der Meyden |
Nondeterministic Multi-Domain Noninterference via Policy Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.00474, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Pasquale Noce |
Conservation of CSP Noninterference Security under Concurrent Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Pasquale Noce |
Conservation of CSP Noninterference Security under Sequential Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Jingming Wang |
Alternative composition analysis of noninterference in cyber-physical system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Methods Sci. Eng. ![In: J. Comput. Methods Sci. Eng. 16(3), pp. 591-597, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes 0001, Benjamin C. Pierce, Dimitrios Vytiniotis |
Testing noninterference, quickly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 26, pp. e4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah |
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 417-431, 2016, IEEE Computer Society, 978-1-5090-2607-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Oliver Woizekowski, Ron van der Meyden |
On Reductions from Multi-Domain Noninterference to the Two-Level Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I, pp. 520-537, 2016, Springer, 978-3-319-45743-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ruud Koolen, Julien Schmaltz |
Modeling Information Routing with Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Oliver Schwarz, Mads Dam |
Automatic Derivation of Platform Noninterference Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 27-44, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr |
A Hybrid Approach for Proving Noninterference of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 438, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Pasquale Noce |
The Ipurge Unwinding Theorem for CSP Noninterference Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Pasquale Noce |
The Generic Unwinding Theorem for CSP Noninterference Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Pasquale Noce |
The Inductive Unwinding Theorem for CSP Noninterference Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Ron van der Meyden |
What, indeed, is intransitive noninterference? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 23(2), pp. 197-228, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Wojciech Jamroga, Masoud Tabatabaei |
Strategic Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, pp. 67-81, 2015, Springer, 978-3-319-18466-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr |
A Hybrid Approach for Proving Noninterference of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015, pp. 305-319, 2015, IEEE Computer Society, 978-1-4673-7538-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Aslan Askarov, Stephen Chong, Heiko Mantel |
Hybrid Monitors for Concurrent Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015, pp. 137-151, 2015, IEEE Computer Society, 978-1-4673-7538-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | William J. Bowman, Amal Ahmed 0001 |
Noninterference for free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 101-113, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif |
A Model-Driven Approach to Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. ![In: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5(3), pp. 30-43, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes 0001, Benjamin C. Pierce, Dimitrios Vytiniotis |
Testing Noninterference, Quickly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0393, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Andrei Popescu 0001, Johannes Hölzl |
Probabilistic Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Pasquale Noce |
Noninterference Security in Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Sylvia Grewe, Heiko Mantel, Daniel Schoepe |
A Formalization of Assumptions and Guarantees for Compositional Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Gregor Snelting, Dennis Giffhorn, Jürgen Graf 0001, Christian Hammer 0001, Martin Hecker 0001, Martin Mohr, Daniel Wasserrab |
Checking probabilistic noninterference using JOANA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
it Inf. Technol. ![In: it Inf. Technol. 56(6), pp. 280-287, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Ana Almeida Matos, Jan Cederquist |
Distributed Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pp. 760-764, 2014, IEEE Computer Society, 978-1-4799-2729-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings, pp. 246-261, 2014, Springer, 978-3-319-10505-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Mantel, Matthias Perner, Jens Sauer |
Noninterference under Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014, pp. 80-94, 2014, IEEE Computer Society, 978-1-4799-4290-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Eggert |
Security via Noninterference - Analyzing Information Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
21 | Sepehr Amir-Mohammadian, Mehran S. Fallah |
Noninterference in a predicative polymorphic calculus for access control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 39(3), pp. 109-120, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow |
Formal Verification of Language-Based Concurrent Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 6(1), pp. 1-30, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Mingsheng Ying, Yuan Feng 0001, Nengkun Yu |
Quantum Information-Flow Security: Noninterference and Access Control ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.6804, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke |
Complexity and Unwinding for Intransitive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.1204, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | A. W. Roscoe 0001, Jian Huang |
Checking noninterference in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 25(1), pp. 3-35, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Pejman Attar, Ilaria Castellani |
Fine-Grained and Coarse-Grained Reactive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, pp. 159-179, 2013, Springer, 978-3-319-05118-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Radha Jagadeesan, Corin Pitcher, James Riely |
Noninterference for Intuitionist Necessity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 185-196, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Mingsheng Ying, Yuan Feng 0001, Nengkun Yu |
Quantum Information-Flow Security: Noninterference and Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013, pp. 130-144, 2013, IEEE Computer Society, 978-0-7695-5031-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Eggert, Henning Schnoor, Thomas Wilke |
Noninterference with Local Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings, pp. 337-348, 2013, Springer, 978-3-642-40312-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Catalin Hritcu, John Hughes 0001, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
Testing noninterference, quickly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 455-468, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Gampe, Jeffery von Ronne |
Security completeness: towards noninterference in composed languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 27-38, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Simon N. Foley |
Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIPTM ![In: Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings, pp. 193-207, 2013, Springer, 978-3-642-38322-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow |
Formalizing Probabilistic Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings, pp. 259-275, 2013, Springer, 978-3-319-03544-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Conghua Zhou, Zhifeng Liu, Hailing Wu, Song Chen, Shiguang Ju |
Symbolic algorithmic verification of intransitive generalized noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 55(7), pp. 1650-1665, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Eggert, Henning Schnoor, Thomas Wilke |
Dynamic Noninterference: Consistent Policies, Characterizations and Verification ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.5580, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Andrei Popescu 0001, Johannes Hölzl |
Possibilistic Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Ron van der Meyden |
Architectural refinement and notions of intransitive noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 24(4-6), pp. 769-792, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Carroll Morgan |
Compositional noninterference from first principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 24(1), pp. 3-26, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Kai Engelhardt, Ron van der Meyden, Chenyi Zhang |
Intransitive noninterference in nondeterministic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012, pp. 869-880, 2012, ACM, 978-1-4503-1651-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow |
Proving Concurrent Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, pp. 109-125, 2012, Springer, 978-3-642-35307-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein |
Noninterference for Operating System Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, pp. 126-142, 2012, Springer, 978-3-642-35307-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Dimiter Milushev, Wim Beck, Dave Clarke 0001 |
Noninterference via Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, pp. 152-168, 2012, Springer, 978-3-642-30792-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Mantel |
Information Flow and Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Cryptography and Security (2nd Ed.) ![In: Encyclopedia of Cryptography and Security, 2nd Ed., pp. 605-607, 2011, Springer, 978-1-4419-5905-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Conghua Zhou, Meiling Cao, Meng Ye 0006, Zhihao Qian |
SAT-based Algorithmic Verification of Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 6(11), pp. 2310-2320, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Aldini, Marco Bernardo 0001 |
Component-oriented verification of noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 57(3), pp. 282-293, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Yoshio Ishiguro, Jun Rekimoto |
Peripheral vision annotation: noninterference information presentation method for mobile augmented reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Proceedings of the 2nd Augmented Human International Conference, AH 2011, Tokyo, Japan, March 13, 2011, pp. 8, 2011, ACM, 978-1-4503-0426-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Mantel, David Sands 0001, Henning Sudbrock |
Assumptions and Guarantees for Compositional Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011, pp. 218-232, 2011, IEEE Computer Society, 978-1-61284-644-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security |
21 | Cong Sun 0001, Liyong Tang, Zhong Chen 0001 |
Enforcing Reactive Noninterference with Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011, pp. 321-326, 2011, IEEE Computer Society, 978-0-7695-4367-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Ron van der Meyden, Chenyi Zhang |
A comparison of semantic models for noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(47), pp. 4123-4147, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Chenyi Zhang |
Unwinding Conditional Noninterference ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.3893, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
Compositional closure for Bayes Risk in probabilistic noninterference ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.1054, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Daniel Wasserrab |
Information Flow Noninterference via Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2010, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
Compositional Closure for Bayes Risk in Probabilistic Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II, pp. 223-235, 2010, Springer, 978-3-642-14161-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Wasserrab, Denis Lohner |
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 141-155, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Thuy Duong Vu |
Thread algebra for noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 43(2), pp. 249-268, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Robert Grabowski, Lennart Beringer |
Noninterference with Dynamic Security Domains and Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 54-68, 2009, Springer, 978-3-642-10621-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ron van der Meyden |
Architectural Refinement and Notions of Intransitive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings, pp. 60-74, 2009, Springer, 978-3-642-00198-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.3307, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(3), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ana Almeida Matos, Gérard Boudol, Ilaria Castellani |
Typing noninterference for reactive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 72(2), pp. 124-156, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ilaria Castellani |
State-oriented Noninterference for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCO@CONCUR ![In: Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007, pp. 39-60, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ron van der Meyden, Chenyi Zhang |
Algorithmic Verification of Noninterference Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VODCA@FOSAD ![In: Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006, pp. 61-75, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Geoffrey Smith 0001 |
Improved typings for probabilistic noninterference in a multi-threaded language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 14(6), pp. 591-623, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Rebekah Leslie |
Dynamic Intransitive Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSSE ![In: 2006 IEEE International Symposium on Secure Software Engineering, ISSSE 2006, Arlington, VA, USA, March 16 -17, 2006., 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin 0001, John Mullins, Moez Yeddes |
Characterizing intransitive noninterference for 3-domain security policies with observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 50(6), pp. 920-925, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kohei Honda 0001, Nobuko Yoshida |
Noninterference through flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 15(2), pp. 293-349, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Aldini, Mario Bravetti, Roberto Gorrieri |
A process-algebraic approach for the analysis of probabilistic noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 12(2), pp. 191-245, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Aldini |
Coordination Model and Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 37-53, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Aldini, Alessandra Di Pierro |
A Quantitative Approach to Noninterference for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEFISTO ![In: Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003, pp. 155-182, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Gérard Boudol, Ilaria Castellani |
Noninterference for concurrent programs and thread systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 281(1-2), pp. 109-130, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Dennis M. Volpano, Geoffrey Smith 0001 |
Probabilistic Noninterference in a Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 7(1), 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Dennis M. Volpano, Geoffrey Smith 0001 |
Probabilistic Noninterference in a Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 11th IEEE Computer Security Foundations Workshop, Rockport, Massachusetts, USA, June 9-11, 1998, pp. 34-43, 1998, IEEE Computer Society, 0-8186-8488-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Qi Shi 0001, John A. McDermid, Jonathan D. Moffett |
Applying noninterference to composition of systems: a more practical approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Ninth Annual Computer Security Applications Conference, ACSAC 1993, 6-10 Decemver, 1993, Orlando, Florida, USA, pp. 210-220, 1993, IEEE. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | John McLean |
Proving Noninterference and Functional Correctness Using Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 1(1), pp. 37-58, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Simon N. Foley |
Aggregation and Separation as Noninterference Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 1(2), pp. 159-188, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|