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 201–300 of 1,001

  1. Sharing Mobile Code Securely with Information Flow Control
    Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers · 2012 · IEEE Symposium on Security and Privacy (S&P)
  2. 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-SIGACT Symposium on Principles of Programming Languages (POPL)
  3. Language based security for Java and JML
    Martijn Warnier · 2006
  4. A unifying approach to the security of distributed and multi-threaded programs1
    Heiko Mantel, Andrei Sabelfeld · 2003 · Journal of Computer Security
  5. Run-Time Enforcement of Information-Flow Properties on Android
    Limin Jia, Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Michael Stroucken, Kazuhide Fukushima, Shinsaku Kiyomoto, Yutaka Miyake · 2013 · Lecture notes in computer science
  6. A logical specification and analysis for SELinux MLS policy
    Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel · 2010 · ACM Transactions on Information and System Security
  7. Formal Verification of Software Countermeasures against Side-Channel Attacks
    Hassan Eldib, Chao Wang, Patrick R. Schaumont · 2014 · ACM Transactions on Software Engineering and Methodology
  8. A lattice-based approach to mashup security
    Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld · 2010 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  9. Arrows for secure information flow
    Peng Li, Steve Zdancewic · 2010 · Theoretical Computer Science
  10. Non-tracking web analytics
    İstemi Ekin Akkuş, Ruichuan Chen, Michaela Hardt, Paul Francis, Johannes E. Gehrke · 2012 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  11. Provenance as Dependency Analysis
    James Cheney, Amal J. Ahmed, Umut A. Acar · 2007 · Springer eBooks
  12. Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
    Aslan Askarov, Andrei Sabelfeld · 2005 · Lecture notes in computer science
  13. Semantics and applications of process and program algebra
    Thuy Duong Vu · 2007 · Data Archiving and Networked Services (DANS)
  14. Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies
    Aslan Askarov, Stephen Chong · 2012 · IEEE Computer Security Foundations Workshop (CSFW)
  15. Epistemic temporal logic for information flow security
    Musard Balliu, Mads Dam, Gurvan Le Guernic · 2011 · ACM Workshop on Programming Languages and Analysis for Security
  16. Symbolic quantitative information flow
    Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Păsăreanu · 2012 · ACM SIGSOFT Software Engineering Notes
  17. Localized delimited release
    Aslan Askarov, Andrei Sabelfeld · 2007 · ACM Workshop on Programming Languages and Analysis for Security
  18. Run-time principals in information-flow type systems
    Stephen Tse, Steve Zdancewic · 2004 · IEEE Symposium on Security and Privacy (S&P)
  19. The Shadow Knows: Refinement and security in sequential programs
    Carroll C. Morgan · 2009 · Science of Computer Programming
  20. Analyzing and defending against web-based malware
    Jian Chang, Krishna Kumar Venkatasubramanian, Andrew G. West, Insup Lee · 2013 · ACM Computing Surveys
  21. Dependent Information Flow Types
    Luísa Lourenço, Luı́s Caires · 2014 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
  22. Access Control Encryption for General Policies from Standard Assumptions
    Sam Kim, David J. Wu · 2017 · Lecture notes in computer science
  23. Cross-App Poisoning in Software-Defined Networking
    Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James W. Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi · 2018 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  24. HyperFlow
    Andrew Ferraiuolo, Mark Zhao, Andrew C. Myers, G. Edward Suh · 2018 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  25. Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
    Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider · 2018 · Lecture notes in computer science
  26. History-Based Access Control with Local Policies
    Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari · 2005 · Lecture notes in computer science
  27. Deriving an information flow checker and certifying compiler for Java
    Gilles Barthe, David A. Naumann, Tamara Rezk · 2006 · IEEE Symposium on Security and Privacy (S&P)
  28. Leveraging Gate-Level Properties to Identify Hardware Timing Channels
    Jason K. Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner · 2014 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  29. SoK: Practical Foundations for Software Spectre Defenses
    Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan · 2022 · IEEE Symposium on Security and Privacy (S&P)
  30. End-to-end verification of information-flow security for C and assembly programs
    David Costanzo, Zhong Shao, Ronghui Gu · 2016 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  31. Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems
    Antonio Lima, Francisco Rocha, Marcus Völp, Paulo Verı́ssimo · 2016
  32. Foundations and applications of artificial Intelligence for zero-day and multi-step attack detection
    Pierre Parrend, Julio Navarro, Fabio Guigou, Aline Deruyver, Pierre Collet · 2018 · EURASIP Journal on Information Security
  33. QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment
    Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Mark Mohammad Tehranipoor, Yier Jin · 2019 · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
  34. Managing Policy Updates in Security-Typed Languages
    Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic · 2006 · IEEE Computer Security Foundations Workshop (CSFW)
  35. Application-level isolation and recovery with solitude
    Shvetank Jain, Fareha Shafique, Vladan Djeric, Ashvin Goel · 2008 · European Conference on Computer Systems
  36. Reactive non-interference for a browser model
    Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens · 2011 · International Conference on Network and System Security (NSS)
  37. Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation
    Thoshitha T. Gamage, Bruce McMillin, Thomas P. Roth · 2010 · IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW)
  38. Gradual Security Typing with References
    Luminous Fennell, Peter J. Thiemann · 2013 · IEEE Computer Security Foundations Workshop (CSFW)
  39. Automatically Extracting Threats from Extended Data Flow Diagrams
    Bernhard Berger, Karsten Sohr, Rainer Koschke · 2016 · Lecture notes in computer science
  40. Controlling the What and Where of Declassification in Language-Based Security
    Heiko Mantel, Alexander Reinhard · 2007 · Lecture notes in computer science
  41. Decentralized Robustness
    Stephen Chong, Andrew C. Myers · 2006 · IEEE Computer Security Foundations Workshop (CSFW)
  42. Coverage guided, property based testing
    Lampropoulos, Leonidas, Hicks, Michael, Pierce, Benjamin C. · 2019 · Proceedings of the ACM on Programming Languages
  43. A design and verification methodology for secure isolated regions
    Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit Arunkumar Seshia, Kapil Vaswani · 2016 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  44. Closing Internal Timing Channels by Transformation
    Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld · 2007 · Lecture notes in computer science
  45. Run-time Monitoring and Formal Analysis of Information Flows in Chromium
    Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian · 2015 · Network and Distributed System Security Symposium
  46. Formal verification of side-channel countermeasures using self-composition
    José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira · 2011 · Science of Computer Programming
  47. On flow-sensitive security types
    Sebastian Hunt, David Sands · 2006 · ACM SIGPLAN Notices
  48. Using access control for secure information flow in a Java-like language
    Anindya Banerjee, David A. Naumann · 2004 · IEEE Computer Security Foundations Workshop (CSFW)
  49. Survey on JavaScript security policies and their enforcement mechanisms in a web browser
    Nataliia Bielova · 2013 · The Journal of Logic and Algebraic Programming
  50. Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference
    Toby Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah · 2016 · IEEE Computer Security Foundations Workshop (CSFW)
  51. Dijkstra monads for free
    Danel Ahman, Cătălin Hriţcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy · 2016 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
  52. Provably Correct Runtime Enforcement of Non-interference Properties
    Venkat N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar · 2006 · Lecture notes in computer science
  53. Enforcing robust declassification
    Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic · 2004 · IEEE Computer Security Foundations Workshop (CSFW)
  54. User-Input Dependence Analysis via Graph Reachability
    Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes · 2008 · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
  55. FaCT: A Flexible, Constant-Time Programming Language
    Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan · 2017 · IEEE Cybersecurity Development (SecDev)
  56. Monitoring hyperproperties
    Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup · 2019 · Formal Methods in System Design
  57. From Coupling Relations to Mated Invariants for Checking Information Flow
    David A. Naumann · 2006 · Lecture notes in computer science
  58. From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
    Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew McDaniel · 2006 · Annual Computer Security Applications Conference
  59. Measuring the strength of information flows in programs
    Wes Masri, Andy Podgurski · 2009 · ACM Transactions on Software Engineering and Methodology
  60. Verifying and Synthesizing Constant-Resource Implementations with Types
    Van Chan Ngo, Mario Dehesa-Azuara, Matt Fredrikson, Jan Hoffmann · 2017 · IEEE Symposium on Security and Privacy (S&P)
  61. Enforcing security and safety models with an information flow analysis tool
    Roderick Chapman, Adrian Hilton · 2004 · Annual ACM SIGAda International Conference on Ada (SIGAda)
  62. Information flow security in dynamic contexts
    Riccardo Focardi A, Sabina Rossi · 2006 · Journal of Computer Security
  63. Confidentiality Enforcement Using Dynamic Information Flow Analyses
    David A. Schmidt, Anindya Banerjee, Gurvan Le Guernic · 2007 · K-State Research Exchange (Kansas State University)
  64. The Shadow Knows: Refinement of Ignorance in Sequential Programs
    Carroll C. Morgan · 2006 · Lecture notes in computer science
  65. Exploring and enforcing security guarantees via program dependence graphs
    Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong · 2015 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  66. Faceted execution of policy-agnostic programs
    Thomas H. Austin, Jean Yang, Cormac Flanagan A, Armando Solar-Lezama · 2013 · ACM Workshop on Programming Languages and Analysis for Security
  67. Type-Driven Gradual Security with References
    Matías Toro, Ronald Garcia, Éric Tanter · 2018 · ACM Transactions on Programming Languages and Systems
  68. Information Flow Security in Dynamic Contexts
    Riccardo Focardi A, Sabina Rossi · 1987
  69. A Type System for Computationally Secure Information Flow
    Peeter Laud, Varmo Vene · 2005 · Lecture notes in computer science
  70. Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
    Katja Tuma, Riccardo Scandariato, Musard Balliu · 2019 · IEEE International Conference on Software Architecture (ICSA)
  71. Detecting violations of access control and information flow policies in data flow diagrams
    Stephan Seifermann, Robert Heinrich, Dominik Werle, Ralf Reussner · 2021 · Journal of Systems and Software
  72. Securing script-based extensibility in web browsers
    Vladan Djeric, Ashvin Goel · 2010
  73. User-aware privacy control via extended static-information-flow analysis
    Xusheng Xiao, Nikolai Tillmann, Manuel A. Fähndrich, Jonathan de Halleux, Michał Moskal · 2012 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  74. Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
    Noel Brett, Umair Siddique, Borzoo Bonakdarpour · 2017 · Lecture notes in computer science
  75. Proving differential privacy with shadow execution
    Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang · 2019 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  76. Practical Information-flow Control in Web-Based Information Systems
    Peng Li, Steve Zdancewic · 2005 · IEEE Computer Security Foundations Workshop (CSFW)
  77. An improved slicer for Java
    Christian Hammer, Gregor Snelting · 2004 · ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)
  78. Secrecy in multiagent systems
    Joseph Yehuda Halpern, K. O'Neill · 2003 · IEEE Computer Security Foundations Workshop (CSFW)
  79. Using Labeling to Prevent Cross-Service Attacks Against Smart Phones
    Collin Mulliner, Giovanni Vigna, David Dagon, Wenke Lee B · 2006 · Lecture notes in computer science
  80. Static Analysis for Efficient Hybrid Information-Flow Control
    Scott Moore, Stephen Chong · 2011 · IEEE Computer Security Foundations Workshop (CSFW)
  81. A Type System for Observational Determinism
    Tachio Terauchi · 2008 · IEEE Computer Security Foundations Workshop (CSFW)
  82. Securing Timeout Instructions in Web Applications
    Alejandro Russo, Andrei Sabelfeld · 2009 · IEEE Computer Security Foundations Workshop (CSFW)
  83. Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent
    Willard Rafnsson, Andrei Sabelfeld · 2013 · IEEE Computer Security Foundations Workshop (CSFW)
  84. History-Based Access Control and Secure Information Flow
    Anindya Banerjee, David A. Naumann · 2005 · Lecture notes in computer science
  85. End-to-End Enforcement of Erasure and Declassification
    Stephen Chong, Andrew C. Myers · 2008 · IEEE Computer Security Foundations Workshop (CSFW)
  86. Research communities in cyber security: A comprehensive literature review
    Sotirios Katsikeas, Pontus Johnson, Mathias Ekstedt, Robert Lagerström · 2021 · Computer Science Review
  87. A Semantic Framework for Declassification and Endorsement
    Aslan Askarov, Andrew C. Myers · 2010 · Lecture notes in computer science
  88. Automatically optimizing secure computation
    Florian Kerschbaum · 2011 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  89. Cassandra
    Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Clayton Schneider, Alexandra Weber · 2014 · Security and Privacy in Smartphones and Mobile Devices
  90. Gate-Level Information Flow Tracking for Security Lattices
    Wei Hu, Dejun Mu, Jason K. Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner · 2014 · ACM Transactions on Design Automation of Electronic Systems
  91. Automated Hypersafety Verification
    Azadeh Farzan, Anthony Vandikas · 2019 · Lecture notes in computer science
  92. The next 700 relational program logics
    Kenji Maillard, Cătălin Hriţcu, Exequiel Rivas, Antoine Van Muylder · 2019 · Proceedings of the ACM on Programming Languages
  93. Data dependencies and program slicing
    Isabella Mastroeni, Damiano Zanardini · 2008 · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
  94. A Type System for Robust Declassification
    Steve Zdancewic · 2003 · Electronic Notes in Theoretical Computer Science
  95. Revizor: testing black-box CPUs against speculation contracts
    Oleksii Oleksenko, Christof W. Fetzer, Boris Köpf, Mark Silberstein · 2022 · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
  96. SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
    Hassan Eldib, Chao Wang, Patrick R. Schaumont · 2014 · Lecture notes in computer science
  97. A monadic analysis of information flow security with mutable state
    Karl Crary, Aleksey Kliger, Frank Pfenning · 2005 · Journal of Functional Programming
  98. End-to-End Availability Policies and Noninterference
    Lantian Zheng, Andrew C. Myers · 2005 · IEEE Computer Security Foundations Workshop (CSFW)
  99. On the Complexity of Generating Gate Level Information Flow Tracking Logic
    Wei Hu, Jason K. Oberg, Ali Umut Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner · 2012 · IEEE Transactions on Information Forensics and Security
  100. Explicit Secrecy: A Policy for Taint Tracking
    Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld · 2016 · IEEE European Symposium on Security and Privacy