The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Non-interference (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1992 (15) 1993-1998 (15) 1999-2000 (17) 2001-2002 (23) 2003-2004 (31) 2005 (21) 2006 (15) 2007-2008 (26) 2009 (16) 2010-2011 (15) 2012-2014 (22) 2015-2016 (16) 2017-2018 (21) 2019-2021 (21) 2022-2024 (7)
Publication types (Num. hits)
article(66) inproceedings(210) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 202 occurrences of 123 keywords

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