Search

Your search keyword '"Peter Y.A. Ryan"' showing total 11 results
Start Over Author "Peter Y.A. Ryan"
11 results on '"Peter Y.A. Ryan"'

1. A survey of requirements for COVID-19 mitigation strategies

Author

Wojciech Jamroga, David Mestel, Peter B. Roenne, Peter Y.A. Ryan, and Marjan Skrobot

Subjects
covid-19, mitigation strategies, specification, multi-agent logic, Technology, Technology (General), T1-995
Abstract

The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.

Published
2021
Full Text
View/download PDF

2. Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

Author

Constantin Catalin Dragan, Francois Dupressoir, Ehsan Estaji, Kristian Gjosteen, Thomas Haines, Peter Y.A. Ryan, Peter B. Ronne, Morten Rotvold Solberg, University of Surrey (UNIS), University of Bristol [Bristol], University of Luxembourg [Luxembourg], NTNU Samfunnsforskning AS / NTNU Social Research, Norwegian University of Science and Technology [Trondheim] (NTNU), Norwegian University of Science and Technology (NTNU)-Norwegian University of Science and Technology (NTNU), Australian National University (ANU), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

Subjects
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Abstract

International audience; Privacy is a notoriously difficult property to achieve in complicated systems and especially in electronic voting schemes. Moreover, electronic voting schemes is a class of systems that require very high assurance. The literature contains a number of ballot privacy definitions along with security proofs for common systems. Some machine-checked security proofs have also appeared. We define a new ballot privacy notion that captures a larger class of voting schemes. This notion improves on the state of the art by taking into account that verification in many schemes will happen or must happen after the tally has been published, not before as in previous definitions. As a case study we give a machine-checked proof of privacy for Selene, which is a remote electronic voting scheme which offers an attractive mix of security properties and usability. Prior to our work, the computational privacy of Selene has never been formally verified. Finally, we also prove that MiniVoting and Belenios satisfies our definition.

Published
2022
Full Text
View/download PDF

3. Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols

Author

Georgios Fotiadis, Jose Moreira, Thanassis Giannetsos, Liqun Chen, Peter B. Ronne, Mark D. Ryan, and Peter Y.A. Ryan

Subjects
Formal Verication, Tamarin-prover, Trusted Computing, TPM modelling, SAPiC, Remote attestation
Abstract

A key component in building trusted computing services is a highly secure anchor that serves as a Root-of-Trust (RoT). There are several works that conduct formal analysis on the security of such commodity RoTs (or parts of it), and also a few ones devoted to verifying the trusted computing service as a whole. However, most of the existing schemes try to verify security without di erentiating the internal cryptography mechanisms of the underlying hardware token from the client application cryptography. This approach limits, to some extent, the reasoning that can be made about the level of assurance of the overall system by automated reasoning tools. In this work, we present a methodology that enables the use of formal veri cation tools towards verifying complex protocols using trusted computing. The focus is on reasoning about the overall application security, provided from the integration of the RoT services, and how these can translate to larger systems when the underlying cryptographic engine is considered perfectly secure. Using the Tamarin prover, we demonstrate the feasibility of our approach by instantiating it for a TPM-based remote attestation service, which is one of the core security services needed in today's increased attack landscape.

Published
2021
Full Text
View/download PDF

4. Innovative Security Solutions for Information Technology and Communications : 14th International Conference, SecITC 2021, Virtual Event, November 25–26, 2021, Revised Selected Papers

Author

Peter Y.A. Ryan, Cristian Toma, Peter Y.A. Ryan, and Cristian Toma

Subjects
Application software, Cryptography, Data encryption (Computer science), Data protection, Computer networks—Security measures, Computer networks
Abstract

This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 14th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2021, which was held virtually in November 2021.The 22 full papers included in this book were carefully reviewed and selected from 40 submissions. They deal with emergent topics in security and privacy from different communities.

Published
2022

5. Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

Author

Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson, Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, and Markus Jakobsson

Subjects
Data protection, Cryptography, Data encryption (Computer science), Computer networks, Computers, Computer engineering, Artificial intelligence
Abstract

This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017.The 39 full papers presented were carefully reviewed and selected from 96 submissions. They feature the outcome of the 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, the 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, the Second Workshop on Secure Voting Systems, VOTING 2017, the First Workshop on Trusted Smart Contracts, WTSC 2017, and the First Workshop on Targeted Attacks, TA 2017.The papers are grouped in topical sections named: encrypted computing and applied homomorphic cryptography; bitcoin and blockchain research; advances in secure electronic voting schemes; trusted smart contracts; targeted attacks.

Published
2017

7. Financial Cryptography and Data Security : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers

Author

Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, Kurt Rohloff, Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, and Kurt Rohloff

Subjects
Data protection, Cryptography, Data encryption (Computer science), Electronic commerce, Information technology—Management, Computers and civilization, Electronic data processing—Management
Abstract

This book constitutes the refereed proceedings of three workshops heldat the 20th International Conference on Financial Cryptography and DataSecurity, FC 2016, in Christ Church, Barbados, in February 2016.The 22 full papers presented were carefully reviewed and selected from 49 submissions. They feature the outcome of the Second Workshop on Bitcoin and Blockchain Research, BITCOIN 2016, the First Workshop on Secure Voting Systems, VOTING 2016, and the 4th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2016.

Published
2016

8. Contributors

Author

Edward G. Amoroso, Jeffrey S. Bardin, Cataldo Basile, Stefan Berthold, Gerald Beuchelt, Rahul Bhaskar, Chiara Braghin, Albert Caballero, Matteo Maria Casalino, Erdal Cayirci, Thomas M. Chen, Hongbing Cheng, Lauren Collins, Marco Cremonini, Samuel J.J. Curry, Rozita Dara, Christopher Day, Sabrina De Capitani di Vimercati, Tewfiq El Maliki, Scott R. Ellis, Michael Erbschloe, Simone Fischer-Hbner, Sara Foresti, Errin W. Fulp, Angelo Genovese, Anna Granova, William F. Gross, Yong Guan, Cem Gurkok, Feng Hao, Tarfa Hamed, James T. Harmening, Rich Hoffman, Emin Huseynov, Markus Jakobsson, Ravi Jhawar, Almantas Kakareka, Bhushan Kapoor, Sokratis K. Katsikas, Dalia Khader, John Benjamin Khan, Larry Korba, Kameswari Kotapati, Stefan C. Kremer, Thomas F. LaPorta, Jean Lencrenon, Keith Lewis, Peng Liu, Giovanni Livraga, John R. Mallery, Bill Mansoor, Luther Martin, John McDonald, John McGowan, Nailah Mims, Simone Mutti, Peter F. Nicoletti, Kevin Noble, Pramod Pandya, Harsh Kupwade Patil, Stefano Paraboschi, Thea Peacock, Ken Perkins, Vincenzo Piuri, Henrik Plate, James Pooley, Chunming Rong, Robert Rounsavall, Peter Y.A. Ryan, Pierangela Samarati, Marco Santambrogio, Mario Santana, Steve Schneider, Fabio Scotti, Jean-Marc Seigneur, Marco Slaviero, Daniel S. Soper, Terence Spies, William Stallings, Alex Tsow, Jesse Walker, Michael A. West, Dan Wing, George O.M. Yee, Liang Yan, Roman Zabicki, Gansen Zhao, and Zhe Zias

Published
2017
Full Text
View/download PDF

9. Contributors

Author

Claudio Agostino Ardagna, Jeffrey Bardin, Sanjay Bavisi, Stefan Berthold, Gerald Beuchelt, Rahul Bhaskar, Chiara Braghin, Albert Caballero, Erdal Cayirci, Thomas M. Chen, Hongbing Cheng, Lauren Collins, Marco Cremonini, Samuel J.J. Curry, Christopher Day, Sabrina De Capitani Di Vimercati, Scott R. Ellis, Michael Erbschloe, Simone Fischer-Hbner, Sara Foresti, Errin W. Fulp, Anna Granova, Yong Guan, Cem Gurkok, Feng Hao, James T. Harmening, Markus Jakobsson, Ravi Jhawar, Almantas Kakareka, Bhushan Kapoor, Sokratis K. Katsikas, Dalia Khader, Larry Korba, Kameswari Kotapati, Thomas F. LaPorta, Jean Lancrenon, Peng Liu, Tewfiq El Maliki, John Mallery, Bill Mansoor, Luther Martin, John McDonald, John McGowan, Peter F. Nicoletti, Kevin Noble, Pramod Pandya, Harsh Kupwade Patil, Stefano Paraboschi, Thea Peacock, Ken Perkins, Vincenzo Piuri, Henrik Plate, Daniel Ramsbrock, Chunming Rong, Robert Rounsavall, Peter Y.A. Ryan, Mario Santana, Steve Schneider, Jean-Marc Seigneur, Marco Slaviero, Daniel S. Soper, Terence Spies, William Stallings, Alex Tsow, Jesse Walker, Patrick J. Walsh, Xinyuan Wang, Michael West, Dan Wing, Zhe Xia, George O.M. Yee, Liang Yan, and Gansen Zhao

Published
2013
Full Text
View/download PDF

10. Verifiable Elections and the Public (Dagstuhl Seminar 11281)

Author

R. Michael Alvarez and Josh Benaloh and Alon Rosen and Peter Y.A. Ryan, Alvarez, R. Michael, Benaloh, Josh, Rosen, Alon, Ryan, Peter Y. A., R. Michael Alvarez and Josh Benaloh and Alon Rosen and Peter Y.A. Ryan, Alvarez, R. Michael, Benaloh, Josh, Rosen, Alon, and Ryan, Peter Y. A.

Abstract

This report documents the program of Dagstuhl Seminar 11281 ``Verifiable Elections and the Public''. This seminar brought together leading researchers from computer and social science, policymakers, and representatives of industry to present new research, develop new interdisciplinary approaches for studying election technologies, and to determine ways to bridge the gap between research and practice.

Published
2011
Full Text
View/download PDF

11. Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle Upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Author

Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider, Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, and Steve Schneider

Subjects
Formal methods (Computer science)--Congresses, Computer security--Congresses, Trust--Congresses
Abstract

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies.

Published
2006

Catalog

Books, media, physical & digital resources
See catalog results