Alejandro Russo

Koen Claessen

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

Securing Asynchronous Exceptions.

[BibT_eX]

[DOI]

Carlos Tomé Cortiñas

Marco Vassena

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Short Paper: Blockcheck the Typechain.

[BibT_eX]

[DOI]

Sergio Benitez

Jonathan Cogan

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019

Exponential Elimination for Bicartesian Closed Categorical Combinators.

[BibT_eX]

[DOI]

Nachiappan Valliappan

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Deriving compositional random generators.

[BibT_eX]

[DOI]

Agustín Mista

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Generating random structurally rich algebraic data type values.

[BibT_eX]

[DOI]

Agustín Mista

Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Optimising Faceted Secure Multi-Execution.

[BibT_eX]

[DOI]

Maximilian Algehed

Cormac Flanagan

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

A Better Facet of Dynamic Information Flow Control.

[BibT_eX]

[DOI]

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Towards Adding Variety to Simplicity.

[BibT_eX]

[DOI]

Nachiappan Valliappan

Solène Mirliaz

Elisabet Lobo Vesga

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Branching processes for QuickCheck generators.

[BibT_eX]

[DOI]

Agustín Mista

John Hughes

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

Faceted Secure Multi Execution.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Flexible dynamic information flow control in the presence of exceptions.

[BibT_eX]

[DOI]

J. Funct. Program., 2017

Hails: Protecting data privacy in untrusted web applications.

[BibT_eX]

[DOI]

J. Comput. Secur., 2017

Securing Concurrent Lazy Programs Against Information Leakage.

[BibT_eX]

[DOI]

Marco Vassena

Joachim Breitner

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Encoding DCC in Haskell.

[BibT_eX]

[DOI]

Maximilian Algehed

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2016

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2016, 2016

Fault-Resilient Non-interference.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

On Formalizing Information-Flow Control Libraries.

[BibT_eX]

[DOI]

Marco Vassena

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2015

It's My Privilege: Controlling Downgrading in DC-Labels.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Functional pearl: two can keep a secret, if one of them uses Haskell.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

HLIO: mixing static and dynamic typing for information-flow control in Haskell.

[BibT_eX]

[DOI]

Pablo Buiras

Dimitrios Vytiniotis

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

The Most Dangerous Code in the Browser.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Type-Directed Compilation for Fault-Tolerant Non-Interference.

[BibT_eX]

[DOI]

CoRR, 2014

Protecting Users by Confining JavaScript with COWL.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Building secure systems with LIO (demo).

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

Fault-Tolerant Non-interference.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

On Dynamic Flow-Sensitive Floating-Label Systems.

[BibT_eX]

[DOI]

Pablo Buiras

Deian Stefan

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Lazy Programs Leak Secrets.

[BibT_eX]

[DOI]

Pablo Buiras

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

Precise Enforcement of Confidentiality for Reactive Systems.

[BibT_eX]

[DOI]

Dante Zanarini

Mauro Jaskelioff

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

On-the-fly inlining of dynamic security monitors.

[BibT_eX]

[DOI]

Jonas Magazinius

Comput. Secur., 2012

Towards a taint mode for cloud computing web applications.

[BibT_eX]

[DOI]

Luciano Bello

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

Addressing covert termination and timing channels in concurrent information flow systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Capabilities for information flow.

[BibT_eX]

[DOI]

Arnar Birgisson

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

Disjunction Category Labels.

[BibT_eX]

[DOI]

Proceedings of the Information Security Technology for Applications, 2011

Testing an optimising compiler by generating random lambda terms.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Flexible dynamic information flow control in Haskell.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Secure Multi-execution in Haskell.

[BibT_eX]

[DOI]

Mauro Jaskelioff

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Implicit flows in malicious and nonmalicious code.

[BibT_eX]

[DOI]

Keqin Li

Proceedings of the Logics and Languages for Reliability and Security, 2010

Security of multithreaded programs by compilation.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2010

Implementing Erasure Policies Using Taint Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Security Technology for Applications, 2010

A Taint Mode for Python via a Library.

[BibT_eX]

[DOI]

Juan José Conti

Proceedings of the Information Security Technology for Applications, 2010

Unifying Facets of Information Integrity.

[BibT_eX]

[DOI]

Arnar Birgisson

Proceedings of the Information Systems Security - 6th International Conference, 2010

Dynamic vs. Static Flow-Sensitive Security Analysis.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Securing interaction between threads and the scheduler in the presence of synchronization.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Tracking Information Flow in Dynamic Tree Structures.

[BibT_eX]

[DOI]

Andrey Chudnov

Proceedings of the Computer Security, 2009

From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2009

Securing Timeout Instructions in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Language Support for Controlling Timing-Based Covert Channels.

[BibT_eX]

[DOI]

PhD thesis, 2008

A library for light-weight information-flow security in haskell.

[BibT_eX]

[DOI]

Koen Claessen

John Hughes

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

A Library for Secure Multi-threaded Information Flow in Haskell.

[BibT_eX]

[DOI]

Ta-Chung Tsai

John Hughes

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Security for Multithreaded Programs Under Cooperative Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

Securing Interaction between Threads and the Scheduler.

[BibT_eX]

[DOI]