Computer Science/Security

Subject Classification

ACM: Security and privacy

AMS: Computer science / Computer system organization / Computer security

2023

Cryptographic Standards

by A Whitley

Jun 06

Formalization of CommCSL: A Relational Concurrent Separation Logic for Proving Information Flow Security in Concurrent Programs

by Thibault Dardinier

Mar 15

Hardness of Lattice Problems

by Katharina Kreuzer

Feb 02

ABY3 Multiplication and Array Shuffling

by Shuwei Hu

Jan 27

2022

CRYSTALS-Kyber

by Katharina Kreuzer

Sep 08

IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols

by Tobias Klenze and Christoph Sprenger

Jun 08

2021

Logging-independent Message Anonymity in the Relational Method

by Pasquale Noce

Aug 26

CoSMeDis: A confidentiality-verified distributed social media platform

by Thomas Bauereiss and Andrei Popescu

Aug 16

CoSMed: A confidentiality-verified social media platform

by Thomas Bauereiss and Andrei Popescu

Aug 16

Compositional BD Security

by Thomas Bauereiss and Andrei Popescu

Aug 16

CoCon: A Confidentiality-Verified Conference Management System

by Andrei Popescu, Peter Lammich and Thomas Bauereiss

Aug 16

Information Flow Control via Dependency Tracking

by Benedikt Nordhoff

Apr 01

Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler and S. Reza Sefidgar

Mar 17

2020

The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols

by Pasquale Noce

Dec 05

Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems

by Florian Kammüller

Apr 27

Stateful Protocol Composition and Typing

by Andreas V. Hess, Sebastian Mödersheim and Achim D. Brucker

Apr 08

Automated Stateful Protocol Verification

by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull

Apr 08

An Under-Approximate Relational Logic

by Toby Murray

Mar 12

2019

Sigma Protocols and Commitment Schemes

by David Butler and Andreas Lochbihler

Oct 07

Formalization of Generic Authenticated Data Structures

by Matthias Brun and Dmitriy Traytel

May 14

Multi-Party Computation

by David Aspinall and David Butler

May 09

2018

Constructive Cryptography in HOL

by Andreas Lochbihler and S. Reza Sefidgar

Dec 17

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties

by Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch

May 07

2017

Developing Security Protocols by Refinement

by Christoph Sprenger and Ivano Somaini

May 24

Game-based cryptography in HOL

by Andreas Lochbihler, S. Reza Sefidgar and Bhargav Bhatt

May 05

CryptHOL

by Andreas Lochbihler

May 05

The Group Law for Elliptic Curves

by Stefan Berghofer

Feb 28

Refining Authenticated Key Agreement with Strong Adversaries

by Joseph Lallemand and Christoph Sprenger

Jan 31

Formal Network Models and Their Application to Firewall Policies

by Achim D. Brucker, Lukas Brügger and Burkhart Wolff

Jan 08

Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method

by Pasquale Noce

Jan 03

2016

A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor

by Zhe Hou, David Sanan, Alwen Tiu and Yang Liu

Oct 19

Compositional Security-Preserving Refinement for Concurrent Imperative Programs

by Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah

Jun 28

A Dependent Security Type System for Concurrent Imperative Programs

by Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah

Jun 25

Conservation of CSP Noninterference Security under Concurrent Composition

by Pasquale Noce

Jun 13

Conservation of CSP Noninterference Security under Sequential Composition

by Pasquale Noce

Apr 26

2015

The Inductive Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce

Aug 18

The Ipurge Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce

Jun 11

The Generic Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce

Jun 11

2014

The Unified Policy Framework (UPF)

by Achim D. Brucker, Lukas Brügger and Burkhart Wolff

Nov 28

Formal Specification of a Generic Separation Kernel

by Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff and Julien Schmaltz

Jul 18

Network Security Policy Verification

by Cornelius Diekmann

Jul 04

Noninterference Security in Communicating Sequential Processes

by Pasquale Noce

May 23

A Formalization of Strong Security

by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer

Apr 23

A Formalization of Declassification with WHAT-and-WHERE-Security

by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer

Apr 23

A Formalization of Assumptions and Guarantees for Compositional Noninterference

by Sylvia Grewe, Heiko Mantel and Daniel Schoepe

Apr 23

Bounded-Deducibility Security

by Andrei Popescu, Peter Lammich and Thomas Bauereiss

Apr 22

A shallow embedding of HyperCTL*

by Markus N. Rabe, Peter Lammich and Andrei Popescu

Apr 16

Probabilistic Noninterference

by Andrei Popescu and Johannes Hölzl

Mar 11

Compositional Properties of Crypto-Based Components

by Maria Spichkova

Jan 11

2012

Possibilistic Noninterference

by Andrei Popescu and Johannes Hölzl

Sep 10

Inductive Study of Confidentiality

by Giampaolo Bella

May 02

2010

Inter-Procedural Information Flow Noninterference via Slicing

by Daniel Wasserrab

Mar 23

Information Flow Noninterference via Slicing

by Daniel Wasserrab

Mar 23

2008

Secure information flow and program logics

by Lennart Beringer and Martin Hofmann

Nov 10

A Correctness Proof for the Volpano/Smith Security Typing System

by Gregor Snelting and Daniel Wasserrab

Sep 02

2006

Hotel Key Card System

by Tobias Nipkow

Sep 09

2005

SHA1, RSA, PSS and more

by Christina Lindenberg and Kai Wirt

May 02