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 601–700 of 1,001

  1. Adversaries and Information Leaks (Tutorial)
    Geoffrey Smith · 2008 · Springer eBooks
  2. Integration of a security type system into a program logic
    Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter · 2008 · Theoretical Computer Science
  3. Boolean Formulas for the Static Identification of Injection Attacks in Java
    Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto · 2015 · Lecture notes in computer science
  4. Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
    Naokata Shikuma, Atsushi Igarashi · 2008 · Logical Methods in Computer Science
  5. kb -anonymity
    Aditya Budi, David Lo, Lingxiao Jiang, Lucia · 2011 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  6. A Modal Foundation for Secure Information Flow
    K. Miyamoto, Atsushi Igarashi · 2004
  7. Information Flow Analysis for VHDL
    Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson · 2005 · Lecture notes in computer science
  8. A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
    Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett · 2008 · IEEE Computer Security Foundations Workshop (CSFW)
  9. Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method
    Hanane Houmani, Mohamed Mejri · 2012 · Journal of Computer Networks and Communications
  10. Information Flow in Credential Systems
    Moritz Y. Becker · 2010 · IEEE Computer Security Foundations Workshop (CSFW)
  11. Situated information flow theory
    Sebastian Benthall · 2019 · Symposium on Hot Topics in the Science of Security (HotSoS)
  12. Implicit self-adjusting computation for purely functional programs
    Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar · 2011 · ACM SIGPLAN International Conference on Functional Programming (ICFP)
  13. A Framework for Design, Verification, and Management of SoC Access Control Systems
    Francesco Restuccia, Andres Meza, Ryan Kastner, Jason K. Oberg · 2022 · IEEE Transactions on Computers
  14. Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum
    Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi A · 2023 · Electronics
  15. State Coverage: Software Validation Metrics beyond Code Coverage
    Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens · 2012 · Lecture notes in computer science
  16. Cross-application data provenance and policy enforcement
    Brian Charles Demsky · 2011 · ACM Transactions on Information and System Security
  17. Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication
    Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu · 2016 · Lecture notes in computer science
  18. Faceted Dynamic Information Flow via Control and Data Monads
    Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan A · 2016 · Lecture notes in computer science
  19. From fine- to coarse-grained dynamic information flow control and back
    Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan · 2019 · Proceedings of the ACM on Programming Languages
  20. Modular information flow through ownership
    Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan · 2022 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  21. Expressing Information Flow Properties
    Elisavet Kozyri, Stephen Chong, Andrew C. Myers · 2022 · Foundations and Trends® in Privacy and Security
  22. Type-Checking CRDT Convergence
    George Zakhour, Pascal Weisenburger, Guido Salvaneschi · 2023 · Proceedings of the ACM on Programming Languages
  23. An Independence Relation for Sets of Secrets
    Sara Miner More, Pavel Naumov · 2010 · Studia Logica
  24. Information leakage analysis of database query languages
    Raju Halder, Matteo Zanioli, Agostino Cortesi · 2014 · ACM Symposium on Applied Computing
  25. Knowledge inference for optimizing secure multi-party computation
    Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer · 2013 · ACM Workshop on Programming Languages and Analysis for Security
  26. A Hierarchy of SOS Rule Formats
    Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers · 2006 · Electronic Notes in Theoretical Computer Science
  27. Static path conditions for Java
    Christian Hammer, Rüdiger Schaade, Gregor Snelting · 2008 · ACM Workshop on Programming Languages and Analysis for Security
  28. Web Application Security—Past, Present, and Future
    Yao‐Wen Huang, D. T. Lee · 2005 · Springer eBooks
  29. Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control
    Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark Campbell · 2018 · Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC)
  30. End-to-end verification of information-flow security for C and assembly programs
    David Costanzo, Zhong Shao, Ronghui Gu · 2016 · ACM SIGPLAN Notices
  31. Two Formal Approaches for Approximating Noninterference Properties
    Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky · 2004 · Lecture notes in computer science
  32. Statically checking confidentiality via dynamic labels
    Bart Jacobs, Wolter Pieters, Martijn Warnier · 2005
  33. Information-Theoretic Analysis using Theorem Proving
    Tarek Mhamdi · 2012 · Spectrum Research Repository (Concordia University)
  34. Programming contextual computations
    Dominic A. Orchard · 2021 · CL Technical Reports
  35. Defeating Prompt Injections by Design
    Debenedetti, Edoardo, Shumailov, Ilia, Fan, Tianqi, Hayes, Jamie, Carlini, Nicholas, Fabian, Daniel, Kern, Christoph, Shi, Chongyang, Terzis, Andreas, Tramèr, Florian · 2026 · 2026 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)
  36. Cross-Domain Attribute-Based Access Control Encryption
    Mahdi Sedaghat, Bart Preneel A · 2021 · Lecture notes in computer science
  37. Noninterference with Dynamic Security Domains and Policies
    Robert Grabowski, Lennart Beringer · 2009 · Lecture notes in computer science
  38. Secrecy of cryptographic protocols under equational theory
    Hanane Houmani, Mohamed Mejri, Hamido Fujita · 2008 · Knowledge-Based Systems
  39. Secure multi-execution: Fine-grained, declassification-aware, and transparent
    Willard Rafnsson, Andrei Sabelfeld · 2015 · Journal of Computer Security
  40. Spot the Difference: Secure Multi-execution and Multiple Facets
    Nataliia Bielova, Tamara Rezk · 2016 · Lecture notes in computer science
  41. Efficient purely-dynamic information flow analysis
    Thomas H. Austin, Cormac Flanagan A · 2009 · ACM SIGPLAN Notices
  42. Security by compilation
    Chao Wang, Patrick R. Schaumont · 2017 · ACM SIGLOG News
  43. Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations
    Lucas Bang, Nicolás Rosner, Tevfik Bultan · 2018 · IEEE European Symposium on Security and Privacy
  44. A verified information-flow architecture
    Arthur Azevedo de Amorim, Nathan S. Collins, André M. DeHon, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew P. Tolmach · 2014 · ACM SIGPLAN Notices
  45. A Permission-Dependent Type System for Secure Information Flow Analysis
    Hongxu Chen, Alwen Fernanto Tiu, Zhiwu Xu, Yang Liu · 2018 · IEEE Computer Security Foundations Workshop (CSFW)
  46. Ancile
    Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah L. Estrin · 2019 · ACM Workshop on Privacy in the Electronic Society (WPES)
  47. Languages of the future
    Tim Sheard · 2004 · ACM SIGPLAN Notices
  48. Towards a taint mode for cloud computing web applications
    Luciano Bello, Alejandro Russo · 2012 · ACM Workshop on Programming Languages and Analysis for Security
  49. Catch me if you can
    Aslan Askarov, Andrei Sabelfeld · 2009 · ACM Workshop on Programming Languages and Analysis for Security
  50. An End-to-End Security Auditing Approach for Service Oriented Architectures
    Mehdi Azarmi, Bharat Bhargava, Pelin Angın, Rohit Ranchal, Norman Ahmed, A. John Sinclair, Mark H. Linderman, Lotfi Ben Othmane · 2012 · IEEE Symposium on Reliable Distributed Systems (SRDS)
  51. Towards Static Flow-Based Declassification for Legacy and Untrusted Programs
    Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle · 2010 · IEEE Symposium on Security and Privacy (S&P)
  52. Type-Based Complexity Analysis for Fork Processes
    Emmanuel Hainry F, Jean-Yves Marion, Romain Péchoux · 2013 · Lecture notes in computer science
  53. Towards a Flow- and Path-Sensitive Information Flow Analysis
    Peixuan Li, Danfeng Zhang · 2017 · IEEE Computer Security Foundations Workshop (CSFW)
  54. Static Evaluation of Noninterference Using Approximate Model Counting
    Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang · 2018 · IEEE Symposium on Security and Privacy (S&P)
  55. Model Checking the Information Flow Security of Real-Time Systems
    Christopher Gerking, David Schubert, Eric Bodden · 2018 · Lecture notes in computer science
  56. Probabilistic Obfuscation Through Covert Channels
    Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger · 2018 · IEEE European Symposium on Security and Privacy
  57. Friendly Fire
    Musard Balliu, Massimo Merro, Michele Pasqua, Mikhail Shcherbakov · 2021 · ACM Transactions on Privacy and Security
  58. A Logic for Information Flow Analysis of Distributed Programs
    Musard Balliu · 2013 · Lecture notes in computer science
  59. AVR Processors as a Platform for Language-Based Security
    Florian Dewald, Heiko Mantel, Alexandra Weber · 2017 · Lecture notes in computer science
  60. First Steps Toward a Cryptography-Aware Language and Compiler.
    Manuel Barbosa, Richard Noad, Daniel Page, Nigel Paul Smart · 2005
  61. Verifying a Secure Information Flow Analyzer
    David A. Naumann · 2005 · Lecture notes in computer science
  62. Observational Purity and Encapsulation
    David A. Naumann · 2005 · Lecture notes in computer science
  63. Secure Implementation of Cryptographic Protocols: A Case Study of Mutual Distrust
    Aslan Askarov, Andrei Sabelfeld · 2005
  64. Checking security compliance between models and code
    Katja Tuma, Sven Matthias Peldszus, Daniel Strüber, Riccardo Scandariato, Jan Jürjens · 2022 · Software & Systems Modeling
  65. DPL: A Language for GDPR Enforcement
    Farzane Karami, David Basin, Einar Broch Johnsen · 2022 · IEEE Computer Security Foundations Workshop (CSFW)
  66. Flare: A Fast, Secure, and Memory-Efficient Distributed Analytics Framework
    Xiang Li, Fabing Li, Mingyu Gao · 2023 · Proceedings of the VLDB Endowment
  67. Towards Automating Federated Data Governance
    Arif Wider, Katharine Jarmul, Atif Akhtar · 2024 · IEEE International Conference on Web Services (ICWS)
  68. Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
    Judicaël Courant, Cristian Ene, Yassine Lakhnech · 2007 · Lecture notes in computer science
  69. On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards
    Dorina Ghindici, Isabelle Simplot-Ryl · 2008 · Lecture notes in computer science
  70. Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays
    Torben Amtoft, John Hatcliff A, Edwin Rodríguez · 2010 · Lecture notes in computer science
  71. Security Basics for Computer Architects
    Ruby Bei-Loh Lee · 2013 · Synthesis lectures on computer architecture
  72. FlowR
    Thomas Pasquier, Jean Bacon, Brian Ninham Shand · 2014 · International Conference on Modularity (MODULARITY)
  73. Interactively verifying absence of explicit information flows in Android apps
    Osbert Bastani, Saswat Anand, Alex Aiken · 2015 · Conference on Object-Oriented Programming Systems, Languages, and Applications
  74. Implicit self-adjusting computation for purely functional programs
    Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar · 2014 · Journal of Functional Programming
  75. Auditing cloud management using information flow tracking
    Afshar Ganjali, David Lie · 2012 · Scalable Trusted Computing
  76. An Android Security Case Study with Bauhaus
    Bernhard Berger, Michaela Bunke, Karsten Sohr · 2011 · Working Conference on Reverse Engineering (WCRE)
  77. Confidentiality Preserving Security Properties for Cyber-Physical Systems
    Thoshitha T. Gamage, Thomas P. Roth, Bruce McMillin · 2011 · IEEE Annual International Computer Software and Applications Conference (COMPSAC)
  78. Classification of security properties in a Linda-like process algebra
    Alessandro Aldini · 2006 · Science of Computer Programming
  79. JoDroid: Adding Android Support to a Static Information Flow Control Tool.
    Martin Mohr, Jürgen Graf, Martin Hecker · 2015 · Software Engineering (Workshops)
  80. Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
    Brandon Paulsen, Chungha Sung, Peter A.H. Peterson, Chao Wang · 2019 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  81. Using Architecture to Reason About Information Security
    Stephen Chong, Ron van der Meyden · 2012
  82. A security type verifier for smart contracts
    Xinwen Hu, Yi Zhuang, Shang‐Wei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao · 2021 · Computers & Security
  83. Challenges and Opportunities for Practical and Effective Dynamic Information Flow Tracking
    Christopher Brant, Prakash Sunder Shrestha, Benjamin Mixon-Baca, Kejun Chen, Said Varlioglu, Nelly Elsayed, Yier Jin, Jedidiah R. Crandall, Daniela Seabra Oliveira · 2021 · ACM Computing Surveys
  84. A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships
    Katherine Hough, Jonathan Bell · 2021 · ACM Transactions on Software Engineering and Methodology
  85. Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
    Brian Johannesmeyer, Jakob Koschel, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida · 2022 · Network and Distributed System Security Symposium
  86. Sapper
    Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong · 2014 · ACM SIGARCH Computer Architecture News
  87. Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts
    Asem Ghaleb · 2022 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  88. Towards Incrementalization of Holistic Hyperproperties
    Dimiter Milushev, Dave Clarke · 2012 · Lecture notes in computer science
  89. Database Queries that Explain their Work
    James Cheney, Amal J. Ahmed, Umut A. Acar · 2014 · International Symposium on Principles and Practice of Declarative Programming (PPDP)
  90. It’s My Privilege: Controlling Downgrading in DC-Labels
    Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo · 2015 · Lecture notes in computer science
  91. "If you were attacked, you'd be sorry"
    Cormac Herley, Wolter Pieters · 2015 · New Security Paradigms Workshop
  92. Handling Information Release and Erasure in Multi-Threaded Programs
    Li Jiang, Lingdi Ping, Xuezeng Pan · 2007 · International Conference on Computational Intelligence and Security (CIS)
  93. A Principled Approach to Tracking Information Flow in the Presence of Libraries
    Daniel S. Hedin, Alexander Sjösten, Frank Piessens, Andrei Sabelfeld · 2017 · Lecture notes in computer science
  94. Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic
    Maria I. Gorinova, Andrew D. Gordon, Charles Sutton · 2019 · Proceedings of the ACM on Programming Languages
  95. Towards secure IoT programming in Haskell
    Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen · 2020 · International Symposium on Haskell
  96. Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications
    Abhiroop Sarkar, Mary Sheeran · 2020 · International Symposium on Principles and Practice of Declarative Programming (PPDP)
  97. Information flow security of multi-threaded distributed programs
    Riccardo Focardi A, Matteo Centenaro · 2008 · ACM Workshop on Programming Languages and Analysis for Security
  98. Towards a logical account of declassification
    Anindya Banerjee, David A. Naumann, Stan Rosenberg · 2007 · ACM Workshop on Programming Languages and Analysis for Security
  99. A type system for data-flow integrity on windows vista
    Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani · 2008 · ACM Workshop on Programming Languages and Analysis for Security
  100. Harmless advice
    Daniel S. Dantas, David Walker · 2006 · ACM SIGPLAN Notices