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 801–900 of 1,001

  1. Hybrid Typing of Secure Information Flow in a JavaScript-Like Language
    José Fragoso Santos, Thomas Wiben Jensen, Tamara Rezk, Alan Schmitt · 2016 · Lecture notes in computer science
  2. JSLINQ
    Musard Balliu, Benjamin Liebe, Daniel Schoepe, Andrei Sabelfeld · 2016 · ACM Conference on Data and Application Security and Privacy (CODASPY)
  3. Typage du flux d'information sur déclassification et mobilité
    Almeida Matos, Anna Gualdina · 2006 · OpenGrey (Institut de l'Information Scientifique et Technique)
  4. Cocoon: Static Information Flow Control in Rust
    Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin · 2024 · Proceedings of the ACM on Programming Languages
  5. Teaching Through Practice: Advanced Static Analysis with LiSA
    Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara · 2024 · Lecture notes in computer science
  6. A Cut Principle for Information Flow
    Joshua D. Guttman, Paul D. Rowe · 2015 · IEEE Computer Security Foundations Workshop (CSFW)
  7. Using Architecture to Reason about Information Security
    Stephen Chong, Ron Van Der Meyden · 2015 · ACM Transactions on Information and System Security
  8. Gottesman Types for Quantum Programs
    Robert W. Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey · 2021 · Electronic Proceedings in Theoretical Computer Science
  9. MichelsonLiSA: A Static Analyzer for Tezos
    Luca Olivieri, Thomas Wiben Jensen, Luca Negrini, Fausto Spoto · 2023 · IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
  10. Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
    Joshua Gancher, Sydney Gibson, Pratap Narayan Singh, Samvid Dharanikota, Bryan Jeffery Parno · 2023 · IEEE Symposium on Security and Privacy (S&P)
  11. Java Bytecode Dependence Analysis for Secure Information Flow
    Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa · 2007
  12. Managing Robustness of Distributed Applications Under Uncertainties
    Kaliappa Ravindran · 2011 · Cyber Security and Information Intelligence Research Workshop
  13. FIRM
    Zhou Li, Xiaofeng Wang · 2010 · Annual Computer Security Applications Conference
  14. Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication
    Zhengqin Luo, Tamara Rezk · 2012 · IEEE Computer Security Foundations Workshop (CSFW)
  15. Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures
    Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski · 2013 · International Symposium on Principles and Practice of Declarative Programming (PPDP)
  16. Automated Analysis of Java Methods for Confidentiality
    Pavol Černý, Rajeev Alur A · 2009 · Lecture notes in computer science
  17. Scenarios and Covert Channels: Another Game...
    Loı̈c Hélouët, Marc Zeitoun, Aldric Degorre · 2005 · Electronic Notes in Theoretical Computer Science
  18. Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework
    Heiko Mantel, Henning Sudbrock · 2007 · IEEE Computer Security Foundations Workshop (CSFW)
  19. On Information Flow Forensics in Business Application Scenarios
    Claus Wonnemann, Rafael Accorsi, Günter Müller · 2009 · IEEE Annual International Computer Software and Applications Conference (COMPSAC)
  20. Logic of secrets in collaboration networks
    Sara Miner More, Pavel Naumov · 2011 · Annals of Pure and Applied Logic
  21. Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
    Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat · 2014 · Lecture notes in computer science
  22. A Policy Framework for Data Fusion and Derived Data Control
    Jerry den Hartog, Nicola Zannone · 2016
  23. Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications
    Angshuman Jana, Raju Halder · 2016 · Lecture notes in computer science
  24. A unified lattice model and framework for purity analyses
    Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini · 2018 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  25. Static Analysis of Android Apps Interaction with Automotive CAN
    Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto · 2018 · Lecture notes in computer science
  26. Sapper
    Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong · 2014 · ACM SIGPLAN Notices
  27. Testing noninterference, quickly
    Cătălin Hriţcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos · 2013 · ACM SIGPLAN Notices
  28. Security Signature Inference for JavaScript-based Browser Addons
    Vineeth Kashyap, Ben Hardekopf · 2014 · Proceedings of the CGO/Proceedings of the ... CGO
  29. Implementing Erasure Policies Using Taint Analysis
    Filippo Del Tedesco, Alejandro Russo, David Sands · 2012 · Lecture notes in computer science
  30. Formalizing Probabilistic Noninterference
    Andrei Popescu, Johannes Hölzl, Tobias Nipkow · 2013 · Lecture notes in computer science
  31. A Weakest Precondition Approach to Robustness
    Musard Balliu, Isabella Mastroeni · 2010 · Transactions on computational science
  32. Understanding and Enforcing Opacity
    Daniel Schoepe, Andrei Sabelfeld · 2015 · IEEE Computer Security Foundations Workshop (CSFW)
  33. Unifying Confidentiality and Integrity in Downgrading Policies
    Stephan A Zdancewic, Peng Li · 2005 · ScholarlyCommons (University of Pennsylvania)
  34. A Language-Based Approach to Secure Quorum Replication
    Lantian Zheng, Andrew C. Myers · 2014 · ACM Workshop on Programming Languages and Analysis for Security
  35. Information Flow in Systems with Schedulers
    Ron van der Meyden, Chenyi Zhang · 2008 · IEEE Computer Security Foundations Workshop (CSFW)
  36. Deductive verification of cryptographic software
    José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira · 2010 · Innovations in Systems and Software Engineering
  37. Controlling information behaviour: the case for access control
    Paul Watters, Jacqueline Ziegler · 2016 · Behaviour and Information Technology
  38. Privacy is dead, long live privacy
    Jean‐Pierre Hubaux, Ari Juels · 2016 · Communications of the ACM
  39. Let’s Face It: Faceted Values for Taint Tracking
    Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld · 2016 · Lecture notes in computer science
  40. Thread scheduling using ant colony optimization: An intelligent scheduling approach towards minimal information leakage
    Kushal Anjaria, Arun Mishra · 2017 · Karbala International Journal of Modern Science
  41. DPGen: Automated Program Synthesis for Differential Privacy
    Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang · 2021 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  42. Information Flow Security for XML Transformations
    Véronique Benzaken, Marwan Burelle, Giuseppe Castagna · 2003 · Lecture notes in computer science
  43. A Domain-Specific Language for Computing on Encrypted Data
    Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman · 2011 · IACR Cryptology ePrint Archive
  44. Correctness of Service Components and Service Component Ensembles
    Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofroň · 2015 · Lecture notes in computer science
  45. The Semantics of Abstract Program Slicing
    Damiano Zanardini · 2008 · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
  46. Proof-Carrying Hardware-Based Information Flow Tracking in Analog/Mixed-Signal Designs
    Mohammad Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris · 2021 · IEEE Journal on Emerging and Selected Topics in Circuits and Systems
  47. Client Side Web Session Integrity as a Non-interference Property
    Wilayat Khan, Stefano Calzavara, Michele Bugliesi A, Willem De Groef, Frank Piessens · 2014 · Lecture notes in computer science
  48. Trustworthy Information: Concepts and Mechanisms
    Shouhuai Xu, Haifeng Qian, Fengying Wang, Zhenxin Zhan, Elisa Bertino, Ravi S. Sandhu · 2010 · Lecture notes in computer science
  49. Secure slices of insecure programs
    Salvador Cavadini · 2008 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  50. Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms
    Ehab ElSalamouny, Konstantinos Chatzikokolakis A, Catuscia Palamidessi A · 2014 · Lecture notes in computer science
  51. Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
    Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel · 2006 · Lecture notes in computer science
  52. Strong and Provably Secure Database Access Control
    Marco Guarnieri, Srdjan Marinovic, David Basin · 2016 · IEEE European Symposium on Security and Privacy
  53. Flexible Manipulation of Labeled Values for Information-Flow Control Libraries
    Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo · 2016 · Lecture notes in computer science
  54. Algorithms for Monitoring Hyperproperties
    Christopher Hahn · 2019 · Lecture notes in computer science
  55. User-aware privacy control via extended static-information-flow analysis
    Xusheng Xiao, Nikolai Tillmann, Manuel A. Fähndrich, Jonathan de Halleux, Michał Moskal, Tao Xie · 2014 · Automated Software Engineering
  56. Revealing injection vulnerabilities by leveraging existing tests
    Katherine Hough, Gebrehiwet B. Welearegai, Christian Hammer, Jonathan Bell · 2020 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  57. Adaptive Trust-Aware Decentralized Information Flow Control
    Charilaos Skandylas, Narges Khakpour, Jesper Andersson · 2020 · IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)
  58. Specification and Verification of Side Channel Declassification
    Josef David Svenningsson, David Sands · 2010 · Lecture notes in computer science
  59. Quantum Information-Flow Security: Noninterference and Access Control
    Mingsheng Ying, Yuan Feng, Nengkun Yu · 2013 · IEEE Computer Security Foundations Workshop (CSFW)
  60. PESAP: A Privacy Enhanced Social Application Platform
    Tom Reynaert, Willem De Groef, Dominique Devriese, Lieven Desmet, Frank Piessens · 2012 · International Conference on Social Computing
  61. Information Flow Control and Taint Analysis with Dependence Graphs
    Jens Krinke · 2007
  62. Compiling Information-Flow Security to Minimal Trusted Computing Bases
    Cédric Fournet A, Jérémy Planul · 2011 · Lecture notes in computer science
  63. Allowing State Changes in Specifications
    Mike Barnett, David A. Naumann, Wolfram Schulte, Qi Sun · 2006 · Lecture notes in computer science
  64. Implicit flows in malicious and nonmalicious code
    Russo Alejandro, Andrei Sabelfeld, LI Ke-qin · 2010 · NATO science for peace and security series. D, Information and communication security
  65. Information leakage analysis of software: How to make it useful to IT industries?
    Kushal Anjaria, Arun Mishra · 2017 · Future Computing and Informatics Journal
  66. Secure Information Release in Timed Automata
    Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson · 2018 · Lecture notes in computer science
  67. Principles of Secure Processor Architecture Design
    Jakub M. Szefer · 2019 · Synthesis lectures on computer architecture
  68. Chattering Laptops
    Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed · 2008 · Lecture notes in computer science
  69. Hybrid taint analysis for Java EE
    Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting · 2020 · ACM Symposium on Applied Computing
  70. Scaling application-level dynamic taint analysis to enterprise-scale distributed systems
    Xiaoqin Fu, Haipeng Cai · 2020 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  71. Hypercollecting semantics and its application to static analysis of information flow
    Mounir Assaf, David A. Naumann, Julien Signoles, Éric Totel, Frédéric Tronel · 2017 · ACM SIGPLAN Notices
  72. MixT: a language for mixing consistency in geodistributed transactions
    Mae Milano, Andrew C. Myers · 2018 · ACM SIGPLAN Notices
  73. 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 Notices
  74. Program Transformation for Non-interference Verification on Programs with Pointers
    Mounir Assaf, Julien Signoles, Frédéric Tronel, Éric Totel · 2013 · IFIP advances in information and communication technology
  75. Detecting Cognitive Causes of Confidentiality Leaks
    Rimvydas Rukšėnas, Paul Curzon, ANN E. BLANDFORD · 2007 · Electronic Notes in Theoretical Computer Science
  76. A weakest precondition approach to active attacks analysis
    Musard Balliu, Isabella Mastroeni · 2009 · ACM Workshop on Programming Languages and Analysis for Security
  77. Access Control and Declassification
    Gérard Boudol, Marija Kolundžija · 2007 · Springer eBooks
  78. KeY: A Formal Method for Object-Oriented Systems
    Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt · 2007 · Lecture notes in computer science
  79. Information flow in secure contexts
    Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi · 2005 · Journal of Computer Security
  80. A Framework for Design and Analysis of Asymmetric Fingerprinting Protocols
    Geong Sen Poh, Keith M. Martin · 2007 · International Conference on Information Assurance and Security (IAS)
  81. Memoized Forward Computation of Dynamic Slices
    Wes Masri, Nagi Nahas, Andy Podgurski · 2006 · Proceedings/Proceedings - International Symposium on Software Reliability Engineering
  82. Observation of guarded command programs
    Domitilla Del Vecchio, Eric Klavins · 2004 · IEEE Conference on Decision and Control (CDC)
  83. Dynamic Security Labels and Noninterference (Extended Abstract).
    Lantian Zheng, Andrew C. Myers · 2004 · Formal Aspects in Security and Trust
  84. Foundations of web script security
    Benjamin C. Pierce, Aaron Bohannon · 2012
  85. Security type error diagnosis for higher-order, polymorphic languages
    Jeroen Weijers, Jurriaan Hage, Stefan Holdermans · 2013 · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
  86. AuraConf
    Jeffrey A. Vaughan · 2011 · Types In Languages Design And Implementation
  87. Information-Flow Analysis of Hibernate Query Language
    Agostino Cortesi, Raju Halder · 2014 · Lecture notes in computer science
  88. Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo, Marieke Huisman · 2017 · The European Physical Journal Special Topics
  89. Verifying Observational Determinism
    Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi · 2015 · IFIP advances in information and communication technology
  90. Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers
    Y.-L. Li, Dongwei Xiao, Zhibo Liu, Qi Pang, Shuai Wang · 2024 · Proceedings of the ACM on software engineering.
  91. Monitoring of Client-Cloud Interaction
    Harald Lampesberger, Mariam Rady · 2015 · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation
  92. The Confinement Problem in the Presence of Faults
    William L. Harrison, Adam M. Procter, Gerard Allwein · 2012 · Lecture notes in computer science
  93. From a Generic Framework for Expressing Integrity Properties to a Dynamic mac Enforcement for Operating Systems
    Patrice Clemente, Jonathan Rouzaud-Cornabas, Christian Toinard · 2010 · Lecture notes in computer science
  94. Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
    Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely · 2008 · Springer eBooks
  95. Type-based information flow analysis for bytecode languages with variable object field policies
    Francisco Bavera, Eduardo Bonelli · 2008 · ACM Symposium on Applied Computing
  96. On quantitative dynamic data flow tracking
    Enrico Lovat, Johan Oudinet, Alexander Pretschner · 2014 · ACM Conference on Data and Application Security and Privacy (CODASPY)
  97. Information flow analysis of scientific workflows
    Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang · 2009 · Journal of Computer and System Sciences
  98. Quantitative Analysis of Information Flow Using Theorem Proving
    Tarek Mhamdi, Osman Hasan, Sofiène Tahar · 2012 · Lecture notes in computer science
  99. Hybrid Monitoring of Attacker Knowledge
    Frédéric Besson, Nataliia Bielova, Thomas Wiben Jensen · 2016 · IEEE Computer Security Foundations Workshop (CSFW)
  100. Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
    Ximeng Li, Heiko Mantel, Markus Tasch · 2017 · Lecture notes in computer science