Jan Gunnar Cederquist
AuthID: R-000-HZQ
1
TITLE: Sound Atomicity Inference for Data-Centric Synchronization
AUTHORS: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.05483
AUTHORS: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.05483
INDEXED IN: 
DBLP
DBLP2
TITLE: Information flow in a distributed security setting PDF
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.01111
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.01111
INDEXED IN: DBLP 
arXiv
DBLP arXiv3
TITLE: Distributed Noninterference
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
PUBLISHED: 2014, SOURCE: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014)
AUTHORS: Ana Almeida Matos ; Jan Cederquist;
PUBLISHED: 2014, SOURCE: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014)
4
TITLE: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
AUTHORS: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
AUTHORS: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
INDEXED IN: DBLP
DBLP