Language-based information-flow security

Sabelfeld, A., Myers, A.C.·2003·IEEE Journal on Selected Areas in Communications
DOI 10.1109/jsac.2002.806121

Cited by (1,001)

Items 501–600 of 1,001

  1. Modelling and analysing cognitive causes of security breaches
    Rimvydas Rukšėnas, Paul Curzon, ANN E. BLANDFORD · 2008 · Innovations in Systems and Software Engineering
  2. Typing termination in a higher-order concurrent imperative language
    Gérard Boudol · 2010 · Information and Computation
  3. Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences
    Dumitru Ceara, Laurent Mounier, Marie-Laure Potet · 2010 · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  4. Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller
    Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh · 2016 · IEEE International Symposium on High-Performance Computer Architecture (HPCA)
  5. Self-adaptation and secure information flow in multiparty communications
    Ilaria Castellani, Mariangiola Dezani-ciancaglini A, Jorge A. Pérez · 2016 · Formal Aspects of Computing
  6. A Calculus for Flow-Limited Authorization
    Owen Arden, Andrew C. Myers · 2016 · IEEE Computer Security Foundations Workshop (CSFW)
  7. Multiple Facets for Dynamic Information Flow with Exceptions
    Thomas H. Austin, Tommy Schmitz, Cormac Flanagan A · 2017 · ACM Transactions on Programming Languages and Systems
  8. Active learning of points-to specifications
    Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang · 2018 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  9. Lazy Self-composition for Security Verification
    Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik · 2018 · Lecture notes in computer science
  10. Typing One-to-One and One-to-Many Correspondences in Security Protocols
    Andrew D. Gordon, Alan Jeffrey · 2003 · Lecture notes in computer science
  11. Security policy refinement and enforcement for the design of multi-level secure systems
    Jie Zhou, Jim Alves-Foss · 2008 · Journal of Computer Security
  12. Unwinding in Information Flow Security
    Annalisa Bossi, Riccardo Focardi A, Damiano Macedonio, Carla Piazza, Sabina Rossi · 2004 · Electronic Notes in Theoretical Computer Science
  13. What You Lose is What You Leak: Information Leakage in Declassification Policies
    Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni · 2007 · Electronic Notes in Theoretical Computer Science
  14. Decidability and proof systems for language-based noninterference relations
    Mads Dam · 2006 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
  15. Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond
    Celina G. Val, Michael A. Enescu, Sam Bayless, William A. Aiello, Alan J. Hu · 2016 · IEEE European Symposium on Security and Privacy
  16. Verifying relational properties using trace logic
    Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei · 2019 · Chalmers Research (Chalmers University of Technology)
  17. Reductions for safety proofs
    Azadeh Farzan, Anthony Vandikas · 2019 · Proceedings of the ACM on Programming Languages
  18. Verifying constant-time implementations by abstract interpretation
    Sandrine Blazy, David Pichardie, Alix Trieu · 2018 · Journal of Computer Security
  19. Compositional information flow security for concurrent programs
    Annalisa Bossi, Carla Piazza, Sabina Rossi · 2007 · Journal of Computer Security
  20. Enforcing Privacy Policies with Meta-Code
    Håvard D. Johansen, Eleanor Birrell, Robbert van Renesse, Fred B. Schneider, Magnus Stenhaug, Dag Johansen · 2015 · Asia-Pacific Workshop on Systems
  21. Towards semantics for provenance security
    Stephen Chong · 2009
  22. Modelling declassification policies using abstract domain completeness
    Isabella Mastroeni, Anindya Banerjee · 2011 · Mathematical Structures in Computer Science
  23. Improving usability of information flow security in java
    Scott F. Smith, Mark Thober · 2007 · ACM Workshop on Programming Languages and Analysis for Security
  24. Towards a practical secure concurrent language
    Stefan K. Muller, Stephen Chong · 2012 · Conference on Object-Oriented Programming Systems, Languages, and Applications
  25. Verification of Information Flow Properties of Java Programs without Approximations
    Christoph Scheben, Peter H. Schmitt · 2012 · Lecture notes in computer science
  26. Security slicing for auditing XML, XPath, and SQL injection vulnerabilities
    Julian Thomé, Lwin Khin Shar, Lionel Briand · 2015 · Proceedings/Proceedings - International Symposium on Software Reliability Engineering
  27. Information-flow security for JavaScript and its APIs
    Daniel S. Hedin, Luciano Bello, Andrei Sabelfeld · 2016 · Journal of Computer Security
  28. Model Counting for Recursively-Defined Strings
    Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar · 2017 · Lecture notes in computer science
  29. Exploring and enforcing security guarantees via program dependence graphs
    Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong · 2015 · ACM SIGPLAN Notices
  30. Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
    Mohit Tiwari, Jason K. Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood · 2011 · ACM SIGARCH Computer Architecture News
  31. Adjoining classified and unclassified information by abstract interpretation
    Roberto Giacobazzi, Isabella Mastroeni · 2010 · Journal of Computer Security
  32. Reconfigurable Data Processing for Clouds
    Anil Madhavapeddy, Satnam Singh · 2011 · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)
  33. A language for probabilistically oblivious computation
    David Darais, Ian Sweet, Chang Liu, Michael Hicks · 2019 · Proceedings of the ACM on Programming Languages
  34. Multilevel Security and Quality of Protection
    Simon N. Foley, Stefano Bistarelli, Barry O’Sullivan, John J. Herbert, Garret Swart · 2008 · Springer eBooks
  35. Super-sticky and declassifiable release policies for flexible information dissemination control
    Sruthi Bandhakavi, Charles C. Zhang, Marianne Winslett · 2006 · ACM Workshop on Privacy in the Electronic Society (WPES)
  36. Adaptive eager boolean encoding for arithmetic reasoning in verification
    Sanjit Arunkumar Seshia, Randal E. Bryant · 2005
  37. Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification
    Marieke Huisman, Tri Minh Ngo · 2012 · Lecture notes in computer science
  38. CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
    Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi · 2017 · IEEE Symposium on Security and Privacy (S&P)
  39. A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
    Niklas Grimm, Kenji Maillard, Cédric Fournet A, Cătălin Hriţcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin · 2017 · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
  40. Trends in Relational Program Verification
    Bernhard Beckert, Mattias Ulbrich · 2018 · Springer eBooks
  41. Overview of Opacity in Discrete Event Systems
    Ye Guo, Xiaoning Jiang, Guo Chen, Shouguang Wang, Oussama Karoui · 2020 · IEEE Access
  42. Avengers, Assemble! Survey of WebAssembly Security Solutions
    Minseo Kim, Hyerean Jang, Youngjoo Shin · 2022 · IEEE ... International Conference on Cloud Computing
  43. Transforming Abstract Interpretations by Abstract Interpretation
    Roberto Giacobazzi, Isabella Mastroeni · 2008 · Lecture notes in computer science
  44. Abstract Dependences for Alarm Diagnosis
    Xavier Rival · 2005 · Lecture notes in computer science
  45. Automatic Detection of Information Leakage Vulnerabilities in Browser Extensions
    Rui Zhao, Chuan Yue, Qing Yi · 2015 · International World Wide Web Conference (WWW)
  46. Downgrading policies and relaxed noninterference
    Peng Li, Steve Zdancewic · 2005 · ACM SIGPLAN Notices
  47. Eliminating Implicit Information Leaks by Transformational Typing and Unification
    Boris Köpf, Heiko Mantel · 2006 · Lecture notes in computer science
  48. Abstract Interpretation of Symbolic Execution with Explicit State Updates
    Richard Bubel, Reiner Hähnle, Benjamin Weiß · 2009 · Lecture notes in computer science
  49. Self-stabilizing Java
    Yong hun Eom, Brian Charles Demsky · 2012 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  50. Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
    Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab · 2019 · IEEE Access
  51. An Algebra of Alignment for Relational Verification
    Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo · 2023 · Proceedings of the ACM on Programming Languages
  52. Auditing Workflow Executions against Dataflow Policies
    Rafael Accorsi, Claus Wonnemann · 2010 · Lecture notes in business information processing
  53. Data Sandboxing: A Technique for Enforcing Confidentiality Policies
    Tejas Khatiwala, Raj Swaminathan, Venkat N. Venkatakrishnan · 2006 · Annual Computer Security Applications Conference
  54. Limiting information leakage in event-based communication
    Willard Rafnsson, Andrei Sabelfeld · 2011 · ACM Workshop on Programming Languages and Analysis for Security
  55. Testing noninterference, quickly
    CĂTĂLIN HRIŢCU, LEONIDAS LAMPROPOULOS, ANTAL SPECTOR-ZABUSKY, ARTHUR AZEVEDO DE AMORIM, MAXIME DÉNÈS, JOHN HUGHES, Benjamin C. Pierce, DIMITRIOS VYTINIOTIS · 2016 · Journal of Functional Programming
  56. Practical Specification of Belief Manipulation in Games
    Markus Eger, Chris Martens · 2021 · Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment
  57. Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
    Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp · 2014 · Lecture notes in computer science
  58. Secure data preservers forweb services
    Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun · 2011 · USENIX conference on Web application development
  59. Taint Analysis of Security Code in the KLEE Symbolic Execution Engine
    Ricardo Corin, Felipe Andrés Manzano · 2012 · Lecture notes in computer science
  60. PRECIP: Towards Practical and Retrofittable Confidential Information Protection.
    Xiaofeng Wang, Zhuowei Li, Ninghui Li, Jong Youl Choi · 2008
  61. A Methodology for Information Flow Experiments
    Michael Carl Tschantz, Amit Jyoti Datta, Anupam Datta, Jeannette M. Wing · 2015 · IEEE Computer Security Foundations Workshop (CSFW)
  62. Linear dependent types in a call-by-value scenario
    Ugo Dal Lago, Barbara Petit · 2012 · International Symposium on Principles and Practice of Declarative Programming (PPDP)
  63. A security domain model to assess software for exploitable covert channels
    Alan Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin · 2008 · ACM Workshop on Programming Languages and Analysis for Security
  64. Noninterference in the Presence of Non-Opaque Pointers
    Daniel S. Hedin, David Sands · 2006 · IEEE Computer Security Foundations Workshop (CSFW)
  65. An user configurable clang static analyzer taint checker
    Marcelo Arroyo, Francisco Chiotta, Francisco Bavera · 2016 · International Conference of the Chilean Computer Science Society (SCCC)
  66. Security-Aware Refactoring Alerting its Impact on Code Vulnerabilities
    Katsuhisa Maruyama, 健祐 戸子田 · 2008 · Asia-Pacific Software Engineering Conference (APSEC)
  67. Efficient type inference for secure information flow
    Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller · 2006 · ACM Workshop on Programming Languages and Analysis for Security
  68. On the Definition and Policies of Confidentiality
    Johs Hansen Hammer, Gerardo Schneider · 2007 · International Conference on Information Assurance and Security (IAS)
  69. Dynamic label binding at run-time
    Yolanta Beres, Chris I. Dalton · 2003 · New Security Paradigms Workshop
  70. Sécurité des protocoles cryptographiques : décidabilité et complexité
    Mathieu Turuani · 2003 · Publications Et Travaux Academiques de Lorraine (Universite de Lorraine)
  71. Secure multi-execution of web scripts: Theory and practice
    Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens · 2014 · Journal of Computer Security
  72. Capabilities for information flow
    Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld · 2011 · ACM Workshop on Programming Languages and Analysis for Security
  73. MAC A verified static information-flow control library
    Marco Vassena, Alejandro Russo, Pablo Buiras, Lucas Waye · 2017 · Journal of Logical and Algebraic Methods in Programming
  74. Automated Proof of Bell–LaPadula Security Properties
    Maximiliano Cristiá, Gianfranco Rossi · 2020 · Journal of Automated Reasoning
  75. A Design and Verification Methodology for a TrustZone Trusted Execution Environment
    Haiyong Sun, Hang Lei · 2020 · IEEE Access
  76. Static checking of GDPR-related privacy compliance for object-oriented distributed systems
    Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani · 2021 · Journal of Logical and Algebraic Methods in Programming
  77. Pervasive binding of labels to system processes
    Florian Buchholz, Eugene Howard Spafford · 2005
  78. Proving Concurrent Noninterference
    Andrei Popescu, Johannes Hölzl, Tobias Nipkow · 2012 · Lecture notes in computer science
  79. Combining Different Proof Techniques for Verifying Information Flow Security
    Heiko Mantel, Henning Sudbrock, Tina Kraußer · 2007 · Springer eBooks
  80. On Dynamic Flow-Sensitive Floating-Label Systems
    Pablo Buiras, Deian Stefan, Alejandro Russo · 2014 · IEEE Computer Security Foundations Workshop (CSFW)
  81. Typing access control and secure information flow in sessions
    Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-ciancaglini A · 2014 · Information and Computation
  82. Tailoring Taint Analysis to GDPR
    Pietro Ferrara, Luca Olivieri, Fausto Spoto · 2018 · Lecture notes in computer science
  83. MrCrypt
    Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein · 2013 · ACM SIGPLAN Notices
  84. Bridging Model-Based and Language-Based Security
    Rogardt Heldal, Fredrik Hultin · 2003 · Lecture notes in computer science
  85. Abstract Semantic Dependency
    Patrick M. Cousot · 2019 · Lecture notes in computer science
  86. QMS: Evaluating the side-channel resistance of masked software from source code
    Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick R. Schaumont · 2014 · ACM/IEEE Design Automation Conference (DAC)
  87. Timing-Sensitive Information Flow Analysis for Synchronous Systems
    Boris Köpf, David Basin · 2006 · Lecture notes in computer science
  88. Proving Abstract Non-interference
    Roberto Giacobazzi, Isabella Mastroeni · 2004 · Lecture notes in computer science
  89. Symmetric behavior-based trust
    Vivek Haldar, Michael Franz · 2005 · New Security Paradigms Workshop
  90. Qualitative and quantitative information flow analysis for multi-threaded programs
    Tri Minh Ngo · 2014
  91. Information Flow Analysis via Path Condition Refinement
    Mana Taghdiri, Gregor Snelting, Carsten Sinz · 2011 · Lecture notes in computer science
  92. Encoding information flow in Aura
    Limin Jia, Steve Zdancewic · 2009 · ACM Workshop on Programming Languages and Analysis for Security
  93. Practical Fine-Grained Information Flow Control Using Laminar
    Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel · 2014 · ACM Transactions on Programming Languages and Systems
  94. Imprecise security
    Wei Hu, Andrew Becker, Armita Ardeshiricham, Yu Tai, Paolo Ienne, Dejun Mu, Ryan Kastner · 2016
  95. We Are Family: Relating Information-Flow Trackers
    Musard Balliu, Daniel Schoepe, Andrei Sabelfeld · 2017 · Lecture notes in computer science
  96. Encoding DCC in Haskell
    Maximilian Algehed, Alejandro Russo · 2017 · ACM Workshop on Programming Languages and Analysis for Security
  97. Using Information Flow to Design an ISA that Controls Timing Channels
    Drew Zagieboylo, G. Edward Suh, Andrew C. Myers · 2019 · IEEE Computer Security Foundations Workshop (CSFW)
  98. Information Flow Analysis for Valued-Indexed Data Security Compartments
    Luísa Lourenço, Luı́s Caires · 2014 · Lecture notes in computer science
  99. Information Flow Testing
    Gurvan Le Guernic · 2007 · Lecture notes in computer science
  100. Static Information Flow Analysis of Workflow Models.
    Rafael Accorsi, Claus Wonnemann · 2010