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 401–500 of 1,001

  1. Privacy-Sensitive Information Flow with JML
    Guillaume Dufay, Amy Felty, Stan Matwin · 2005 · Lecture notes in computer science
  2. Static analysis for inference of explicit information flow
    Yin Liu, Ana Milanova · 2008 · ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)
  3. Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows
    Yin Liu, A Milanova · 2010 · Euromicro Conference on Software Maintenance and Reengineering (CSMR)
  4. Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part I: Framework Fundamentals
    Yier Jin, Xiaolong Guo, Raj Gautam Dutta, Mohammad-Mahdi Bidmeshki, Yiorgos Makris · 2017 · IEEE Transactions on Information Forensics and Security
  5. GhostRider
    Chang Liu, Austin Harris, Martin Maas, Michael Hicks, Mohit Tiwari, Elaine Shi · 2015 · ACM SIGPLAN Notices
  6. A logic for information flow in object-oriented programs
    Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee · 2006 · ACM SIGPLAN Notices
  7. Information Flow Control to Secure Dynamic Web Service Composition
    Dieter Hutter, Melanie Volkamer · 2006 · Lecture notes in computer science
  8. An empirical study of the strength of information flows in programs
    Wes Masri, Andy Podgurski · 2006
  9. Mobius: Mobility, ubiquity, security: Objectives and progress report
    Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Péter Müller, Erik Poll, Germán Puebla, Ian Stark, Éric Vétillard et al. · 2007
  10. Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
    Qi Sun, Anindya Banerjee, David A. Naumann · 2004 · Lecture notes in computer science
  11. Security policy in a declarative style
    Rachid Echahed, Frédéric Prost · 2005 · International Symposium on Principles and Practice of Declarative Programming (PPDP)
  12. Security types preserving compilation
    Gilles Barthe, Tamara Rezk, Amitabh Basu · 2005 · Computer Languages
  13. A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
    Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi · 2020 · IEEE Symposium on Security and Privacy (S&P)
  14. BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation
    Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, Xiangyu Zhang · 2019 · Proceedings of the ACM on Programming Languages
  15. Program Synthesis Using Dual Interpretation
    Ashish Tiwari, Adrià Gascón, Bruno Dutertre · 2015 · Lecture notes in computer science
  16. A Type System for Complexity Flow Analysis
    Jean-Yves Marion · 2011 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  17. Flexible dynamic information flow control in Haskell
    Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières · 2011 · ACM SIGPLAN Notices
  18. The PER Model of Abstract Non-interference
    Sebastian Hunt, Isabella Mastroeni · 2005 · Lecture notes in computer science
  19. Dynamic Security Labels and Noninterference (Extended Abstract)
    Lantian Zheng, Andrew C. Myers · 2005 · IFIP International Federation for Information Processing/IFIP
  20. Secure implementations of typed channel abstractions
    Michele Bugliesi A, Marco Giunti · 2007 · ACM SIGPLAN Notices
  21. CONCEPTS AND MECHANISMS
    Opender Koul · 2004 · CRC Press eBooks
  22. LiSA: A Generic Framework for Multilanguage Static Analysis
    Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi · 2023 · Intelligent systems reference library
  23. Non-Detrimental Web Application Security Scanning
    Yao‐Wen Huang, Chung-Hung Tsai, Dong-Hyun Lee, Sy‐Yen Kuo · 2005 · Proceedings/Proceedings - International Symposium on Software Reliability Engineering
  24. Confidentiality for Multithreaded Programs via Bisimulation
    Andrei Sabelfeld · 2004 · Lecture notes in computer science
  25. Declarative Policies for Capability Control
    Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong · 2014 · IEEE Computer Security Foundations Workshop (CSFW)
  26. Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis
    Subarno Banerjee, David Andrew Devecsery, Peter M. Chen, Satish Narayanasamy · 2019 · IEEE Symposium on Security and Privacy (S&P)
  27. Cryptographically-Masked Flows
    Aslan Askarov, Daniel S. Hedin, Andrei Sabelfeld · 2006 · Lecture notes in computer science
  28. A theory of typed coercions and its applications
    Nikhil Swamy, Michael Hicks, Gavin M. Bierman · 2009 · ACM SIGPLAN International Conference on Functional Programming (ICFP)
  29. Precise enforcement of progress-sensitive security
    Scott Moore, Aslan Askarov, Stephen Chong · 2012 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  30. Verification conditions for source-level imperative programs
    Maria João Frade, Jorge Sousa Pinto · 2011 · Computer Science Review
  31. Verification and synthesis for secrecy in discrete-event systems
    Shigemasa Takai, Ratnesh Kumar · 2009 · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference
  32. On-the-fly Inlining of Dynamic Security Monitors
    Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld · 2010 · IFIP advances in information and communication technology
  33. Spectre Declassified: Reading from the Right Place at the Wrong Time
    Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O’Connell, Peter Schwabe, Rui Qi Sim, Yuval Yarom · 2023 · IEEE Symposium on Security and Privacy (S&P)
  34. Automated Information Flow Analysis of Virtualized Infrastructures
    Sören Bleikertz, Thomas Groß, Matthias Schunter, Konrad Eriksson · 2011 · Lecture notes in computer science
  35. Transformational typing and unification for automatically correcting insecure programs
    Boris Köpf, Heiko Mantel · 2007 · International Journal of Information Security
  36. Taxonomy and classification of automatic monitoring of program security vulnerability exploitations
    Hossain Shahriar, Mohammad Zulkernine · 2010 · Journal of Systems and Software
  37. Intransitive Noninterference in Dependence Graphs
    Christian Hammer, Jens Krinke, Frank Nodes · 2006 · Leveraging Applications of Formal Methods
  38. Liquid information flow control
    Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama · 2020 · Proceedings of the ACM on Programming Languages
  39. A call to action look beyond the horizon
    J.M. Wing · 2003 · IEEE Security & Privacy
  40. Adjoining Declassification and Attack Models by Abstract Interpretation
    Roberto Giacobazzi, Isabella Mastroeni · 2005 · Lecture notes in computer science
  41. Precise quantitative information flow analysis— a symbolic approach
    Vladimir Klebanov · 2014 · Theoretical Computer Science
  42. High-level synthesis with timing-sensitive information flow enforcement
    Zhenghong Jiang, Steve X. Dai, G. Edward Suh, Zhiru Zhang · 2018
  43. Securing Cross-App Interactions in IoT Platforms
    Musard Balliu, Massimo Merro, Michele Pasqua · 2019 · IEEE Computer Security Foundations Workshop (CSFW)
  44. Secure virtual architecture
    John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram Adve · 2007 · ACM SIGOPS Operating Systems Review
  45. Secure FaaS orchestration in the fog: how far are we?
    Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi A · 2021 · Computing
  46. Viaduct: an extensible, optimizing compiler for secure distributed programs
    Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi · 2021 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  47. Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing
    Arnar Birgisson, Daniel S. Hedin, Andrei Sabelfeld · 2012 · Lecture notes in computer science
  48. Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses
    Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana Rosa Cavalli · 2012 · Lecture notes in computer science
  49. Formally verifying information flow type systems for concurrent and thread systems
    Gilles Barthe, Leonor Prensa Nieto · 2004 · Formal Methods in Security Engineering
  50. Relational Decomposition
    Lennart Beringer · 2011 · Lecture notes in computer science
  51. The Code That Never Ran: Modeling Attacks on Speculative Evaluation
    Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely · 2019 · IEEE Symposium on Security and Privacy (S&P)
  52. Automatic Contract Insertion with CCBot
    Scott Carr, Francesco Logozzo, Mathias Payer · 2016 · IEEE Transactions on Software Engineering
  53. Cryptographically-masked flows
    Aslan Askarov, Daniel S. Hedin, Andrei Sabelfeld · 2008 · Theoretical Computer Science
  54. On the Rôle of Abstract Non-interference in Language-Based Security
    Isabella Mastroeni · 2005 · Lecture notes in computer science
  55. On the secure implementation of security protocols
    Pablo Giambiagi, Mads Dam · 2004 · Science of Computer Programming
  56. Using dynamic information flow analysis to detect attacks against applications
    Wes Masri, Andy Podgurski · 2005 · ACM SIGSOFT Software Engineering Notes
  57. The (Social) Construction of Information Security
    Wolter Pieters · 2011 · The Information Society
  58. Information Flow in Object-Oriented Software
    Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich · 2014 · Lecture notes in computer science
  59. Towards fully automatic placement of security sanitizers and declassifiers
    Benjamin Livshits, Stephen Chong · 2013 · ACM SIGPLAN Notices
  60. Model-Driven Information Flow Security for Component-Based Systems
    Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Dorel Bozga · 2014 · Lecture notes in computer science
  61. A Taint Mode for Python via a Library
    Juan José Conti, Alejandro Russo · 2012 · Lecture notes in computer science
  62. Lenient array operations for practical secure information flow
    Zhenyue Deng, Geoffrey Smith · 2004
  63. Typing noninterference for reactive programs
    Ana Almeida Matos, Gérard Boudol, Ilaria Castellani · 2007 · The Journal of Logic and Algebraic Programming
  64. AUTOCRYPT
    Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena · 2013 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  65. Modelgen: mining explicit information flow specifications from concrete executions
    Lazaro Clapp, Saswat Anand, Alex Aiken · 2015 · International Symposium on Software Testing and Analysis
  66. A Secure Information Flow Architecture for Web Service Platforms
    Jinpeng Wei, Lenin Singaravelu, Calton Pu · 2008 · IEEE Transactions on Services Computing
  67. Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP
    Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris · 2017 · Design, Automation, and Test in Europe
  68. Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems
    John Henry Castellanos, Martín Ochoa, Jianying Zhou · 2018 · Annual Computer Security Applications Conference
  69. One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics
    Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su · 2019 · Network and Distributed System Security Symposium
  70. Extending Abstract Interpretation to Dependency Analysis of Database Applications
    Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi · 2018 · IEEE Transactions on Software Engineering
  71. Laminar
    Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel · 2009 · ACM SIGPLAN Notices
  72. Computer Aided Verification
    Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur · 2017 · Lecture notes in computer science
  73. Control and synthesis of non-interferent timed systems
    Gilles Benattar, Franck Cassez, Didier Lime, Olivier Henri Roux · 2014 · International Journal of Control
  74. On Typing Information Flow
    Gérard Boudol · 2005 · Lecture notes in computer science
  75. Enforcing memory policy specifications in reconfigurable hardware
    Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin · 2008 · Computers & Security
  76. Noninterference via Symbolic Execution
    Dimiter Milushev, Wim Beck, Dave Clarke · 2012 · Lecture notes in computer science
  77. Enforcing security and safety models with an information flow analysis tool
    Roderick Chapman, Adrian Hilton · 2004 · ACM SIGAda Ada Letters
  78. A Design for a Security-Typed Language with Certificate-Based Declassification
    Stephen Tse, Steve Zdancewic · 2005 · Lecture notes in computer science
  79. Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control
    S. Susheel, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar · 2015 · Lecture notes in computer science
  80. Secure Multi-Execution through Static Program Transformation
    Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas · 2012 · Lecture notes in computer science
  81. Automatic enforcement of expressive security policies using enclaves
    Anitha Gollamudi, Stephen Chong · 2016 · Conference on Object-Oriented Programming Systems, Languages, and Applications
  82. EssentialFP: Exposing the Essence of Browser Fingerprinting
    Alexander Sjösten, Daniel S. Hedin, Andrei Sabelfeld · 2021 · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
  83. Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code
    Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick R. Schaumont · 2015 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  84. Adapted Development Process for Security in Networked Automotive Systems
    Karsten Schmidt, Peter Tröger, Hans-Martin Kroll, Thomas Bünger, Florian Krueger, Christian Neuhaus · 2014 · SAE International journal of passenger cars. Electronic and electrical systems
  85. FlowK: Information Flow Control for the Cloud
    Thomas Pasquier, Jean Bacon, David M. Eyers · 2014 · IEEE International Conference on Cloud Computing Technology and Science
  86. Dynamic Information Flow Control Architecture for Web Applications
    Sachiko Yoshihama, Takeo Yoshizawa, Yuji Watanabe, 道治 工藤, Kazuko Oyanagi · 2007 · Lecture notes in computer science
  87. Refinement-Based Specification and Security Analysis of Separation Kernels
    Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu · 2017 · IEEE Transactions on Dependable and Secure Computing
  88. Beyond connected cars: A systems of systems perspective
    Patrizio Pelliccione, Eric Knauss, S. Magnus Ågren, Rogardt Heldal, Carl Bergenhem, Alexey V. Vinel, Oliver Brunnegård · 2020 · Science of Computer Programming
  89. Cartesian hoare logic for verifying k-safety properties
    Marcelo Sousa, Işıl Dillig · 2016 · ACM SIGPLAN Notices
  90. A Hardware Design Language for Timing-Sensitive Information-Flow Security
    Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers · 2015 · ACM SIGARCH Computer Architecture News
  91. A BASH
    Karl Mazurak, Steve Zdancewic · 2007 · ACM Workshop on Programming Languages and Analysis for Security
  92. Improved typings for probabilistic noninterference in a multi-threaded language
    Geoffrey Smith · 2006 · Journal of Computer Security
  93. Fair Cooperative Multithreading
    Gérard Boudol · 2007 · Lecture notes in computer science
  94. A Typed Assembly Language for Confidentiality
    Dachuan Yu, Nayeem Islam · 2006 · Lecture notes in computer science
  95. A logical specification and analysis for SELinux MLS policy
    Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel · 2007 · ACM Symposium on Access Control Models and Technologies (SACMAT)
  96. kb -anonymity
    Aditya Budi, David Lo, Lingxiao Jiang, Lucia · 2011 · ACM SIGPLAN Notices
  97. A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
    Rose Bohrer, André Platzer · 2018 · ACM/IEEE Symposium on Logic in Computer Science (LICS)
  98. A Hybrid Approach for Proving Noninterference of Java Programs
    Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr · 2015 · IEEE Computer Security Foundations Workshop (CSFW)
  99. Security of Multithreaded Programs by Compilation
    Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld · 2007 · Lecture notes in computer science
  100. A certified lightweight non-interference Java bytecode verifier
    Gilles Barthe, David Pichardie, Tamara Rezk · 2013 · Mathematical Structures in Computer Science