Language-based information-flow security

Cited by (1,001)

Items 701–800 of 1,001

1. On interdependence of secrets in collaboration networks
   Sara Miner More, Pavel Naumov · 2009 · Theoretical Aspects of Rationality and Knowledge
2. Adding Flexibility in Information Flow Control for Object-Oriented Systems Using Versions
   Allaoua Maamir, Abdelaziz Fellah · 2003 · International Journal of Software Engineering and Knowledge Engineering
3. Monitoring and Supervisory Control for Opacity Properties
   Jérémy Dubreil · 2009 · HAL
4. Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications
   Isabella Mastroeni · 2013 · Electronic Proceedings in Theoretical Computer Science
5. Congestion aware low power on chip protocols with network on chip with cloud security
   Suresh Ponnan, Tikkireddi Aditya Kumar, V.S. Hemakumar, Sakthieswaran Natarajan, Mohd Asif Shah · 2022 · Journal of Cloud Computing Advances Systems and Applications
6. Covert channel detection using Information Theory
   Loı̈c Hélouët, Aline Roumy · 2011 · Electronic Proceedings in Theoretical Computer Science
7. Generating profile-based signatures for online intrusion and failure detection
   Wes Masri, Rawad Abou Assi, Marwa El-Ghali · 2013 · Information and Software Technology
8. SAFE: A clean-slate architecture for secure systems
   Silviu M. S. A. Chiricescu, André M. DeHon, Delphine Demange, Suraj Vanjeeswaran Iyer, Aleksey Kliger, Greg Morrisett, Benjamin C. Pierce, Howard B. Reubenstein, Jonathan M. Smith, Gregory T. Sullivan et al. · 2013 · IEEE Conference on Technologies for Homeland Security (HST)
9. A tool for static detection of timing channels in Java
   Alexander Lux, Artem Starostin · 2011 · Journal of Cryptographic Engineering
10. Efficient static checker for tainted variable attacks
    Andrei Rimsa, Marcelo d’Amorim, Fernando Magno Quintão Pereira, Roberto S. Bigonha · 2013 · Science of Computer Programming
11. Practical static analysis for inference of security-related program properties
    Yin Liu, Ana Milanova · 2009 · IEEE International Conference on Program Comprehension (ICPC)
12. Implicit self-adjusting computation for purely functional programs
    Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar · 2011 · ACM SIGPLAN Notices
13. Toward principled browser security
    Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Nelson Karp · 2013
14. 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 · 2016 · Journal of Computer Security
15. Relational Analysis of Sensor Attacks on Cyber-Physical Systems
    Jian Xiang, Nathan Fulton, Stephen Chong · 2021 · IEEE Computer Security Foundations Workshop (CSFW)
16. HyperGI: Automated Detection and Repair of Information Flow Leakage
    İbrahim Meşecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke · 2021 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
17. Towards scalable, secure, and smart mission-critical IoT systems
    Xiaolong Guo, Song Han, Xiaobo Sharon Hu, Xun Jiao, Yier Jin, Fanxin Kong, Michael D. Lemmon · 2021 · ACM International Conference on Embedded Software (EMSOFT)
18. Survey of Approaches and Techniques for Security Verification of Computer Systems
    Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub M. Szefer · 2022 · ACM Journal on Emerging Technologies in Computing Systems
19. Design and Implementation of Static Analyses for Tezos Smart Contracts
    Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas Wiben Jensen, Fausto Spoto · 2024 · Distributed Ledger Technologies Research and Practice
20. Architectures for Inlining Security Monitors in Web Applications
    Jonas Magazinius, Daniel S. Hedin, Andrei Sabelfeld · 2014 · Lecture notes in computer science
21. Information Theory and Security: Quantitative Information Flow
    Pasquale Malacaria, Jonathan Heusser · 2010 · Lecture notes in computer science
22. Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
    Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich · 2014 · Lecture notes in computer science
23. Evolution of Security Engineering Artifacts
    Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato et al. · 2014 · International Journal of Secure Software Engineering
24. AnaDroid: Malware Analysis of Android with User-supplied Predicates
    Shuying Liang, Matthew Might, David Van Horn · 2015 · Electronic Notes in Theoretical Computer Science
25. Gran: Model Checking Grsecurity RBAC Policies
    Michele Bugliesi A, Stefano Calzavara, Riccardo Focardi A, Marco Squarcina · 2012 · IEEE Computer Security Foundations Workshop (CSFW)
26. A bottom‐up approach to verifiable embedded system information flow security
    Dejun Mu, Wei Hu, Baolei Mao, Bo Ma · 2013 · IET Information Security
27. Exploring conditional rewriting logic computations
    Marı́a Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña · 2014 · Journal of Symbolic Computation
28. Effective verification of confidentiality for multi-threaded programs
    Tri Minh Ngo, Mariëlle I. A. Stoelinga, Marieke Huisman · 2014 · Journal of Computer Security
29. The Complexity of Quantitative Information Flow Problems
    Pavol Černý, Krishnendu Chatterjee, Thomas A. Henzinger · 2011 · IEEE Computer Security Foundations Workshop (CSFW)
30. On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks
    Vineet Rajani, Deepak Garg, Tamara Rezk · 2016 · IEEE Computer Security Foundations Workshop (CSFW)
31. LangSec Revisited: Input Security Flaws of the Second Kind
    Erik Poll · 2018 · IEEE Security and Privacy Workshops (SPW)
32. ConfLLVM
    Ajay Brahmakshatriya, Piyus Kedia, Derrick McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu · 2019 · European Conference on Computer Systems
33. Language Support for Secure Software Development with Enclaves
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi · 2021 · IEEE Computer Security Foundations Workshop (CSFW)
34. Triage
    Joseph A. Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou · 2007 · ACM SIGOPS Operating Systems Review
35. A Separation Logic for Enforcing Declarative Information Flow Control Policies
    David Costanzo, Zhong Shao · 2014 · Lecture notes in computer science
36. A security-aware refactoring tool for Java programs
    Katsuhisa Maruyama, Takayuki Omori · 2011 · Workshop on Refactoring Tools (WRT)
37. Information flow tracking meets just-in-time compilation
    Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz · 2013 · ACM Transactions on Architecture and Code Optimization
38. Security Policy Enforcement in BPEL-Defined Collaborative Business Processes
    Klaus-Peter Fischer, Udo Bleimann, Woldemar Fuhrmann, Steven Furnell · 2007 · IEEE International Conference on Data Engineering Workshops (ICDEW)
39. ARES
    Luciano Bello, Marco Pistoia · 2018 · IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft)
40. Probabilistic relational verification for cryptographic implementations
    Gilles Barthe, Cédric Fournet A, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Béguelin · 2014 · ACM SIGPLAN Notices
41. Privacy Injector — Automated Privacy Enforcement Through Aspects
    Chris Vanden Berghe, Matthias Schunter · 2006 · Lecture notes in computer science
42. Magic-Sets Transformation for the Analysis of Java Bytecode
    Étienne Payet, Fausto Spoto · 2007 · Lecture notes in computer science
43. Type inference and informative error reporting for secure information flow
    Zhenyue Deng, Geoffrey Smith · 2006 · ACM Southeast Regional Conference (ACMSE)
44. Dynamic information flow analysis, slicing and profiling
    Andy Podgurski, Wassim A. Masri · 2005
45. Information Flow for Secure Distributed Applications
    Winnie Cheng · 2009 · DSpace@MIT (Massachusetts Institute of Technology)
46. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
    Heiko Mantel, Henning Sudbrock · 2009 · Lecture notes in computer science
47. Security Signature Inference for JavaScript-based Browser Addons
    Vineeth Kashyap, Ben Hardekopf · 2014 · Proceedings of the CGO/Proceedings of the ... CGO
48. Precise Dynamic Verification of Confidentiality
    Gurvan Le Guernic · 2008
49. Collaborative Open Market to Place Objects at your Service
    Jacek Kopecký, Carlos Pedrinaci, Joachim Posegga, Benjamin Mandler · 2013
50. TAPIDO: trust and authorization via provenance and integrity in distributed objects
    Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely · 2008
51. A Type System for Safe Intermittent Computing
    Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia · 2023 · Proceedings of the ACM on Programming Languages
52. Types vs. PDGs in Information Flow Analysis
    Heiko Mantel, Henning Sudbrock · 2013 · Lecture notes in computer science
53. Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus
    Naokata Shikuma, Atsushi Igarashi · 2007 · Lecture notes in computer science
54. Fine-grained disclosure control for app ecosystems
    Gabriel Bender, Łucja Kot, Johannes E. Gehrke, Christoph E. Koch · 2013 · ACM SIGMOD International Conference on Management of Data (SIGMOD)
55. Preventing Information Inference in Access Control
    Federica Paci, Nicola Zannone · 2015 · ACM Symposium on Access Control Models and Technologies (SACMAT)
56. JCSI: A tool for checking secure information flow in Java Card applications
    Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo M. Masci · 2012 · Journal of Systems and Software
57. A state coverage tool for JUnit
    Ken Koster · 2008 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
58. Verifying the Consistency of Security Policies by Abstracting into Security Types
    Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi · 2007 · IEEE International Conference on Web Services (ICWS)
59. Invited - Specification and modeling for systems-on-chip security verification
    Sharad Malik, Pramod Subramanyan · 2016 · ACM/IEEE Design Automation Conference (DAC)
60. A hardware-based technique for efficient implicit information flow tracking
    Jangseop Shin, Hongce Zhang, Jinyong Lee, Ingoo Heo, Yu-Yuan Chen, Ruby Bei-Loh Lee, Yunheung Paek · 2016
61. Securing Concurrent Lazy Programs Against Information Leakage
    Marco Vassena, Joachim Breitner, Alejandro Russo · 2017 · IEEE Computer Security Foundations Workshop (CSFW)
62. From Trash to Treasure: Timing-Sensitive Garbage Collection
    Mathias V. Pedersen, Aslan Askarov · 2017 · IEEE Symposium on Security and Privacy (S&P)
63. Towards Confidentiality-by-Construction
    Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson · 2018 · Lecture notes in computer science
64. Lattice-Based Information Flow Control-by-Construction for Security-by-Design
    Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer · 2020
65. Automation of Quantitative Information-Flow Analysis
    Boris Köpf, Andrey Rybalchenko · 2013 · Lecture notes in computer science
66. Timed Abstract Non-interference
    Roberto Giacobazzi, Isabella Mastroeni · 2005 · Lecture notes in computer science
67. Execution monitoring enforcement for limited-memory systems
    Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi · 2006 · Conference on Privacy, Security and Trust
68. Precise Analysis of Java Programs Using JOANA
    Dennis Giffhorn, Christian Hammer · 2008 · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
69. Switched Probabilistic I/O Automata
    Ling Cheung A, Nancy Ann Lynch, Roberto Segala C, Frits Vaandrager · 2005 · Lecture notes in computer science
70. Comprehensive Memory Error Protection via Diversity and Taint-Tracking
    Lorenzo Cavallaro · 2008
71. Multi-session Security Monitoring for Mobile Code
    Fabio Massacci, Katsiaryna Naliuka · 2006 · Unitn Eprints Research (Università Degli Studi di Trento)
72. An Empirical Analysis of Web Storage and Its Applications to Web Tracking
    Zubair Ahmad, Samuele Casarin, Stefano Calzavara · 2023 · ACM Transactions on the Web
73. CrowdFlow: Efficient Information Flow Security
    Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz · 2015 · Lecture notes in computer science
74. On the Compositionality of Quantitative Information Flow
    Yusuke Kawamoto, Konstantinos Chatzikokolakis A, Catuscia Palamidessi A · 2017 · Logical Methods in Computer Science
75. Design-time Quantification of Integrity in Cyber-physical Systems
    Eric Rothstein Morris, Carlos Murguia, Martín Ochoa · 2017 · ACM Workshop on Programming Languages and Analysis for Security
76. Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages
    Jian Xiang, Stephen Chong · 2021 · IEEE Symposium on Security and Privacy (S&P)
77. TaintStream: fine-grained taint tracking for big data platforms through dynamic code translation
    Chengxu Yang, Yuanchun Li, Mengwei Xu, Zhenpeng Chen, Yunxin Liu, Gang Huang, Xuanzhe Liu · 2021 · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
78. Normalization for fitch-style modal calculi
    Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas · 2022 · Proceedings of the ACM on Programming Languages
79. A permission-carrying security policy and static enforcement for information flows in Android programs
    Xiaojian Liu, Kehong Liu · 2023 · Computers & Security
80. Detection of Phantom Reads in Hyperledger Fabric
    Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi · 2024 · IEEE Access
81. Purpose Restrictions on Information Use
    Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing · 2013 · Lecture notes in computer science
82. Abstract Certification of Global Non-interference in Rewriting Logic
    Mauricio Alba-Castro, Marı́a Alpuente, Santiago Escobar · 2010 · Lecture notes in computer science
83. Silver Lining: Enforcing Secure Information Flow at the Cloud Edge
    Safwan Mahmud Khan, Kevin W. Hamlen, Murat Kantarcıoğlu · 2014 · IEEE International Conference on Cloud Engineering
84. Short Paper
    Toby Murray · 2015 · ACM Workshop on Programming Languages and Analysis for Security
85. Secure information flow analysis for hardware design
    Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong · 2010 · ACM Workshop on Programming Languages and Analysis for Security
86. Secrecy-Preserving Query Answering for Instance Checking in $\mathcal{EL}$
    Jia Tao, Giora Slutzki, Vasant Honavar · 2010 · Lecture notes in computer science
87. Secure Information Flow by Model Checking Pushdown System
    Cong Sun, Liyong Tang, Zhong Chen · 2009 · Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing (UIC-ATC)
88. A Proof System for Abstract Non-interference
    Roberto Giacobazzi, Isabella Mastroeni · 2009 · Journal of Logic and Computation
89. Anonymity services for multi-agent systems
    Martijn Warnier, Frances M.T. Brazier · 2010 · Web Intelligence and Agent Systems An International Journal
90. Toward a Theory of Self-explaining Computation
    James Cheney, Umut A. Acar, Roly Perera · 2013 · Lecture notes in computer science
91. JRIF: Reactive Information Flow Control for Java
    Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider · 2019 · Lecture notes in computer science
92. Secure Information Flow Verification with Mutable Dependent Types
    Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh · 2017 · ACM/IEEE Design Automation Conference (DAC)
93. Data-Driven Debugging for Functional Side Channels
    Saeid Tizpaz-Niari, Pavlov Cerny, Ashutosh Trivedi · 2020 · Network and Distributed System Security Symposium
94. $$\mathsf {BackFlow}$$: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
    Pietro Ferrara, Luca Olivieri, Fausto Spoto · 2020 · Lecture notes in computer science
95. An Approach for Network Information Flow Analysis for Systems of Embedded Components
    Andrey Alexeevich Chechulin, Igor Vitalievich Kotenko, Vasily Alekseevich Desnitsky · 2012 · Lecture notes in computer science
96. Lenient array operations for practical secure information flow
    Zhenyue Deng, Geoffrey Smith · 2004 · IEEE Computer Security Foundations Workshop (CSFW)
97. Runtime Enforcement of Information Flow Security in Tree Manipulating Processes
    Máté Kovács, Helmut Seidl · 2012 · Lecture notes in computer science
98. Securing interaction between threads and the scheduler in the presence of synchronization
    Alejandro Russo, Andrei Sabelfeld · 2008 · The Journal of Logic and Algebraic Programming
99. Linear dependent types in a call-by-value scenario
    Ugo Dal Lago, Barbara Petit · 2013 · Science of Computer Programming
100. Verified Enforcement of Security Policies for Cross-Domain Information Flows
     Nikhil Swamy, Michael Hicks, Simon Tsang · 2007 · IEEE Military Communications Conference (MILCOM)