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 901–1,000 of 1,001

  1. Dependent Information Flow Types
    Luísa Lourenço, Luı́s Caires · 2015 · ACM SIGPLAN Notices
  2. Efficient monitoring of hyperproperties using prefix trees
    Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup · 2020 · International Journal on Software Tools for Technology Transfer
  3. Performance of a Security Control Scheme for a Health Data Exchange System
    Erol Gelenbe A, Mihajlo Pavloski · 2020 · IEEE International Black Sea Conference on Communications and Networking
  4. DOVE: A Data-Oblivious Virtual Environment
    Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter · 2021 · Network and Distributed System Security Symposium
  5. GhostRider
    Chang Liu, Austin Harris, Martin Maas, Michael Hicks, Mohit Tiwari, Elaine Shi · 2015 · ACM SIGARCH Computer Architecture News
  6. A Functional View of Imperative Information Flow
    Thomas H. Austin, Cormac Flanagan A, Martı́n Abadi · 2012 · Lecture notes in computer science
  7. On the Decidability of Model-Checking Information Flow Properties
    Deepak D’Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra Ramesh, Barbara Sprick · 2008 · Lecture notes in computer science
  8. Information flow in trust management systems
    Moritz Y. Becker · 2012 · Journal of Computer Security
  9. Secure information flow for a concurrent language with scheduling
    Gilles Barthe, Leonor Prensa Nieto · 2007 · Journal of Computer Security
  10. Security of Distributed Digital Criminal Dossiers
    Martijn Warnier, Frances M.T. Brazier, A. Oskamp · 2008 · Journal of Software
  11. A language for information flow
    Avraham Shinnar, Marco Pistoia, Anindya Banerjee · 2009 · ACM Workshop on Programming Languages and Analysis for Security
  12. Extracting Conditional Confidentiality Policies
    Michael Carl Tschantz, Jeannette M. Wing · 2008 · IEEE International Conference on Software Engineering and Formal Methods (SEFM)
  13. Anomalous Taint Detection
    Lorenzo Cavallaro, R. Sekar · 2008 · Lecture notes in computer science
  14. Disjunctive Information Flow for Communicating Processes
    Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng · 2016 · Lecture notes in computer science
  15. Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis
    Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner · 2015 · Lecture notes in computer science
  16. Safe Serializable Secure Scheduling
    Isaac Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse · 2016 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  17. Information Leakage Analysis of Complex C Code and Its application to OpenSSL
    Pasquale Malacaria, Michael Tautchning, Dino Distefano · 2016 · Lecture notes in computer science
  18. Timing-Sensitive Noninterference through Composition
    Willard Rafnsson, Limin Jia, Lujo Bauer · 2017 · Lecture notes in computer science
  19. A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)
    Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi · 2017 · Computers & Security
  20. DATS - Data Containers for Web Applications
    Casen Hunger, Lluís Vilanova, Charalampos Papamanthou, Yoav Etsion, Mohit Tiwari · 2018 · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
  21. Using information flow analysis to detect implicit information leaks for web service composition
    Jia-xin Jiang, Zhiqiu Huang, Weiwei Ma, Yan Cao · 2018 · Frontiers of Information Technology & Electronic Engineering
  22. A Dependently Typed Library for Static Information-Flow Control in Idris
    Simon Gregersen, Søren Eller Thomsen, Aslan Askarov · 2019 · Lecture notes in computer science
  23. Optimising Faceted Secure Multi-Execution
    Maximilian Algehed, Alejandro Russo, Cormac Flanagan A · 2019 · IEEE Computer Security Foundations Workshop (CSFW)
  24. HLIO: mixing static and dynamic typing for information-flow control in Haskell
    Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo · 2015 · ACM SIGPLAN Notices
  25. Proof linking: a modular verification architecture for mobile code systems
    Philip W. L. Fong · 2004
  26. An Independence Relation for Sets of Secrets
    Sara Miner More, Pavel Naumov · 2009 · Lecture notes in computer science
  27. Policy framings for access control
    Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari · 2005
  28. Embedding verifiable information flow analysis
    Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl · 2006 · Conference on Privacy, Security and Trust
  29. Towards automatic identification of completeness and consistency in digital dossiers
    Martijn Warnier, Frances M.T. Brazier, Martin Apistola, A. Oskamp · 2007 · International Conference on Artificial Intelligence and Law
  30. Required Information Release
    Stephen Chong · 2010 · IEEE Computer Security Foundations Workshop (CSFW)
  31. Elided conditionals
    Manos Renieris, Sébastien Chan-Tin, Steven P. Reiss · 2004 · ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)
  32. Application-level isolation and recovery with solitude
    Shvetank Jain, Fareha Shafique, Vladan Djeric, Ashvin Goel · 2008 · ACM SIGOPS Operating Systems Review
  33. Bridging the Gap Between Inter-communication Boundary and Internal Trusted Components
    Yuji Watanabe, Sachiko Yoshihama, Takuya Mishina, Michiharu Kudo, Hiroshi Maruyama · 2006 · Lecture notes in computer science
  34. Quantification and formalization of security
    Michael R. Clarkson · 2010 · eCommons (Cornell University)
  35. Strong and Provably Secure Database Access Control
    Marco Guarnieri, Srdjan Marinovic, David Basin · 2015 · Repository for Publications and Research Data (ETH Zurich)
  36. On the Secure Implementation of Security Protocols
    Pablo Giambiagi, Mads Dam · 2003 · Lecture notes in computer science
  37. An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More
    Toby Murray · 2020 · arXiv (Cornell University)
  38. Dynamic Security Analysis of JavaScript: Are We There Yet?
    Stefano Calzavara, Samuele Casarin, Riccardo Focardi A · 2025 · International World Wide Web Conference (WWW)
  39. Runtime Policy Enforcement for MCP-Based LLM Agents
    Shanshan Wang, Si Zhu, R K Li · 2026 · Electronics
  40. Can We Support Applications’ Evolution in Multi-application Smart Cards by Security-by-Contract?
    Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci · 2010 · Lecture notes in computer science
  41. Domain Precision in Galois Connection-Less Abstract Interpretation
    Isabella Mastroeni, Michele Pasqua · 2023 · Lecture notes in computer science
  42. Toward the flow-centric detection of browser fingerprinting
    Rui Zhao · 2023 · Computers & Security
  43. SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
    Sören van der Wall, Roland Meyer · 2025 · Proceedings of the ACM on Programming Languages
  44. A Hardware Design Language for Efficient Control of Timing Channels
    Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers · 2014 · eCommons (Cornell University)
  45. Aspectizing JavaScript security
    Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt B · 2013
  46. On Using B in the Design of Secure Micro-controllers: An Experience Report
    Marc Benveniste · 2011 · Electronic Notes in Theoretical Computer Science
  47. An Application-Level Approach for Privacy-Preserving Virtual Machine Checkpointing
    Yaohui Hu, Tianlin Li, Ping Yang, Kartik Gopalan · 2013 · IEEE ... International Conference on Cloud Computing
  48. On MILS I/O Sharing Targeting Avionic Systems
    Kevin Müller, Georg Sigl, Benoît Triquet, Michael Paulitsch · 2014 · European Dependable Computing Conference
  49. Probabilistic Fault-tolerance of Distributed Services: A Paradigm for Dependable Applications
    Kaliappa Ravindran · 2011 · International Conference on Availability, Reliability and Security (ARES)
  50. Static Analysis of Non-interference in Expressive Low-Level Languages
    Peter Aldous, Matthew Might · 2015 · Lecture notes in computer science
  51. Gate Level Information Flow analysis for multi-valued logic system
    Yu Tai, Wei Hu, Lantian Guo, Baolei Mao, Dejun Mu · 2017 · International Conference on Image, Vision and Computing (ICIVC)
  52. Information-flow Interfaces
    Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Ničković, Ana Oliveira da Costa · 2022 · Lecture notes in computer science
  53. Static Privacy Analysis by Flow Reconstruction of Tainted Data
    Pietro Ferrara, Luca Olivieri, Fausto Spoto · 2021 · International Journal of Software Engineering and Knowledge Engineering
  54. Oblivious algebraic data types
    Qianchuan Ye, Benjamin Delaware · 2022 · Proceedings of the ACM on Programming Languages
  55. Automatic loop invariant generation for data dependence analysis
    Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle · 2022 · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)
  56. Cache Refinement Type for Side-Channel Detection of Cryptographic Software
    Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang · 2022 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  57. A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
    Michele Boreale, David Clark, Daniele Gorla · 2010 · IFIP International Federation for Information Processing/IFIP
  58. Provenance, XML, and the Scientific Web
    James Cheney · 2009
  59. On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow
    Luciano Bello, Eduardo Bonelli · 2012 · Lecture notes in computer science
  60. Ownership Downgrading for Ownership Types
    Yi Bin Lu, John Potter, Jingling Xue · 2009 · Lecture notes in computer science
  61. Type-Based Analysis of Generic Key Management APIs
    Pedro Adão, Riccardo Focardi A, Flaminia L. Luccio · 2013 · IEEE Computer Security Foundations Workshop (CSFW)
  62. Security types for dynamic web data
    Mariangiola Dezani-ciancaglini A, Silvia Ghilezan, Jovanka Pantović, Daniele Varacca · 2008 · Theoretical Computer Science
  63. Quantitative Multirun Security under Active Adversaries
    Michele Boreale, Francesca Pampaloni · 2012 · International Conference on the Quantitative Evaluation of Systems (QEST)
  64. Quantifying Information Leakage in Finite Order Deterministic Programs
    Zhu Ji, Mudhakar Srivatsa · 2011 · International Conference on Communications
  65. GlassTube
    Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld · 2013 · ACM Workshop on Programming Languages and Analysis for Security
  66. An information flow control meta-model
    Dennis G. Kafura, Denis Gračanin · 2013 · ACM Symposium on Access Control Models and Technologies (SACMAT)
  67. Developing a Security Typed Java Servlet
    Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan · 2008 · International Conference on Information Assurance and Security (IAS)
  68. Approximating Non-interference and Erasure in Rewriting Logic
    Mauricio Alba-Castro, Marı́a Alpuente, Santiago Escobar · 2010 · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
  69. A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow
    Miodrag Petkovic, Miroslav V. Popovic, Ilija V. Basicevic, Djordje Saric · 2012 · IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS)
  70. Analyzing security advice in functional aspect-oriented programming languages
    Daniel S. Dantas · 2007
  71. Progress-Sensitive Security for SPARK
    Willard Rafnsson, Deepak Garg, Andrei Sabelfeld · 2016 · Lecture notes in computer science
  72. Future-dependent Flow Policies with Prophetic Variables
    Ximeng Li, Flemming Nielson, Hanne Riis Nielson · 2016 · ACM Workshop on Programming Languages and Analysis for Security
  73. An Architecture Supporting Formal and Compositional Binary Analysis
    Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood · 2017 · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
  74. Assessment of QoS adaptation and cyber-defense mechanisms in networked systems
    Kaliappa Ravindran, Yassine Wardei, A. Kodia, Michael Iannelli, Arun Adiththan, Steven Drager · 2017 · IEEE Conference on Dependable and Secure Computing (DSC)
  75. Abstract Code Injection
    Samuele Buro, Isabella Mastroeni · 2017 · Lecture notes in computer science
  76. A practical approach for detecting multi-tenancy data interference
    Andrei Furda, Colin Fidge, Alistair Barros · 2018 · Science of Computer Programming
  77. Efficient Detection and Quantification of Timing Leaks with Neural Networks
    Saeid Tizpaz-Niari, Pavol Černý, Sriram Sankaranarayanan, Ashutosh Trivedi · 2019 · Lecture notes in computer science
  78. Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
    Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh · 2017 · ACM SIGARCH Computer Architecture News
  79. Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation
    Willem De Groef, Dominique Devriese, Frank Piessens · 2012 · Lecture notes in computer science
  80. Action Refinement in Process Algebra and Security Issues
    Annalisa Bossi, Carla Piazza, Sabina Rossi · 2008 · Lecture notes in computer science
  81. Expressive and enforceable information security policies
    Andrew C. Myers, Stephen Chong · 2008
  82. Security-by-construction in web applications development via database annotations
    Wassim El-Hajj, Ghassen Ben Brahim, Hazem M. Hajj, Haı̈dar Safa, Ralph Adaimy · 2016 · Computers & Security
  83. Combining Static Code Analysis and Machine Learning for Automatic Detection of Security Vulnerabilities in Mobile Apps
    Marco Pistoia, Omer Tripp, David M. Lubensky · 2016 · Advances in multimedia and interactive technologies book series
  84. Synthesis of Non-Interferent Timed Systems
    Gilles Benattar, Franck Cassez, Didier Lime, Olivier Henri Roux · 2009 · Lecture notes in computer science
  85. Higher-Order Abstract Non-interference
    Damiano Zanardini · 2005 · Lecture notes in computer science
  86. Secrecy by interpretation functions
    Hanane Houmani, Mohamed Mejri · 2007 · Knowledge-Based Systems
  87. An approach for realizing privacy-preserving web-based services
    Wei Xu, R. Sekar, I. V. Ramakrishnan, Venkat N. Venkatakrishnan · 2005 · International World Wide Web Conference (WWW)
  88. Abstractions of non-interference security: probabilistic versus possibilistic
    Thai Son Hoang, Annabelle K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony M. Sloane, E. Susatyo · 2012 · Formal Aspects of Computing
  89. Remote Policy Enforcement Using Java Virtual Machine
    S. Krishnan Nair · 2010 · Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)
  90. Information flow control for secure web sites
    M. Frans Kaashoek, Robert Morris, Eddie Kohler, Maxwell Krohn · 2008 · DSpace@MIT (Massachusetts Institute of Technology)
  91. Model Counting Modulo Theories
    Quoc-Sang Phan · 2015 · arXiv (Cornell University)
  92. Dynamic information utilization for securing Ethereum smart contracts: A literature review
    Tianyuan Hu, Bixin Li · 2025 · Information and Software Technology
  93. Type-based dependency analysis for javascript
    Matthias S. Keil, Peter J. Thiemann · 2013 · ACM Workshop on Programming Languages and Analysis for Security
  94. Hash-flow taint analysis of higher-order programs
    Shuying Liang, Matthew Might · 2012 · ACM Workshop on Programming Languages and Analysis for Security
  95. Linked visualisations via Galois dependencies
    Roly Perera, Minh Nguyen, Tomáš Petříček, Meng Wang · 2022 · Proceedings of the ACM on Programming Languages
  96. A Four-Layer Cyber-Physical Security Model for Electric Machine Drives Considering Control Information Flow
    Bowen Yang, He Yang, Jin Ye · 2024 · IEEE Journal of Emerging and Selected Topics in Power Electronics
  97. Compiling Probabilistic Programs for Variable Elimination with Information Flow
    Jianlin Li, Eric Wang, Yizhou Zhang · 2024 · Proceedings of the ACM on Programming Languages
  98. Challenges of software verification: the past, the present, the future
    Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi · 2024 · International Journal on Software Tools for Technology Transfer
  99. Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
    Santiago Cuéllar Gempeler, Bill Harris, James Parker, Stuart Pernsteiner, Ian Sweet, Eran Tromer · 2025 · ACM Transactions on Privacy and Security
  100. Securing Class Initialization
    Keiko Nakata, Andrei Sabelfeld · 2010 · IFIP International Federation for Information Processing/IFIP