Published in: LIPIcs, Volume 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022)
Brynmor Chapman and R. Ryan Williams. Smaller ACC0 Circuits for Symmetric Functions. In 13th Innovations in Theoretical Computer Science Conference (ITCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 215, pp. 38:1-38:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{chapman_et_al:LIPIcs.ITCS.2022.38, author = {Chapman, Brynmor and Williams, R. Ryan}, title = {{Smaller ACC0 Circuits for Symmetric Functions}}, booktitle = {13th Innovations in Theoretical Computer Science Conference (ITCS 2022)}, pages = {38:1--38:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-217-4}, ISSN = {1868-8969}, year = {2022}, volume = {215}, editor = {Braverman, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.38}, URN = {urn:nbn:de:0030-drops-156342}, doi = {10.4230/LIPIcs.ITCS.2022.38}, annote = {Keywords: ACC, CC, circuit complexity, symmetric functions, Chinese Remainder Theorem} }
Published in: LIPIcs, Volume 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022)
Fernando Granha Jeronimo, Tushant Mittal, Ryan O'Donnell, Pedro Paredes, and Madhur Tulsiani. Explicit Abelian Lifts and Quantum LDPC Codes. In 13th Innovations in Theoretical Computer Science Conference (ITCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 215, pp. 88:1-88:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{jeronimo_et_al:LIPIcs.ITCS.2022.88, author = {Jeronimo, Fernando Granha and Mittal, Tushant and O'Donnell, Ryan and Paredes, Pedro and Tulsiani, Madhur}, title = {{Explicit Abelian Lifts and Quantum LDPC Codes}}, booktitle = {13th Innovations in Theoretical Computer Science Conference (ITCS 2022)}, pages = {88:1--88:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-217-4}, ISSN = {1868-8969}, year = {2022}, volume = {215}, editor = {Braverman, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.88}, URN = {urn:nbn:de:0030-drops-156846}, doi = {10.4230/LIPIcs.ITCS.2022.88}, annote = {Keywords: Graph lifts, expander graphs, quasi-cyclic LDPC codes, quantum LDPC codes} }
Published in: Dagstuhl Manifestos, Volume 5, Issue 1 (2015)
Bart Preneel, Philipp Rogaway, Mark D. Ryan, and Peter Y. A. Ryan. Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). In Dagstuhl Manifestos, Volume 5, Issue 1, pp. 25-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{preneel_et_al:DagMan.5.1.25, author = {Preneel, Bart and Rogaway, Philipp and Ryan, Mark D. and Ryan, Peter Y. A.}, title = {{Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401)}}, pages = {25--37}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2015}, volume = {5}, number = {1}, editor = {Preneel, Bart and Rogaway, Philipp and Ryan, Mark D. and Ryan, Peter Y. A.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.5.1.25}, URN = {urn:nbn:de:0030-drops-55653}, doi = {10.4230/DagMan.5.1.25}, annote = {Keywords: Big data, encryption, mass surveillance, privacy} }
Published in: Dagstuhl Reports, Volume 4, Issue 9 (2015)
Bart Preneel, Phillip Rogaway, Mark D. Ryan, and Peter Y. A. Ryan. Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). In Dagstuhl Reports, Volume 4, Issue 9, pp. 106-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{preneel_et_al:DagRep.4.9.106, author = {Preneel, Bart and Rogaway, Phillip and Ryan, Mark D. and Ryan, Peter Y. A.}, title = {{Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401)}}, pages = {106--123}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {Preneel, Bart and Rogaway, Phillip and Ryan, Mark D. and Ryan, Peter Y. A.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.9.106}, URN = {urn:nbn:de:0030-drops-48882}, doi = {10.4230/DagRep.4.9.106}, annote = {Keywords: Big data, encryption, mass surveillance, privacy} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Liqun Chen, Steve Kremer, and Mark D. Ryan. 07421 Abstracts Collection – Formal Protocol Verification Applied. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{chen_et_al:DagSemProc.07421.1, author = {Chen, Liqun and Kremer, Steve and Ryan, Mark D.}, title = {{07421 Abstracts Collection – Formal Protocol Verification Applied}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.1}, URN = {urn:nbn:de:0030-drops-14196}, doi = {10.4230/DagSemProc.07421.1}, annote = {Keywords: Security protocols, formal verification, trusted computing, biometrics, security of mobile computing, electronic voting, payment systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Liqun Chen, Steve Kremer, and Mark D. Ryan. 07421 Executive Summary – Formal Protocol Verification Applied. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{chen_et_al:DagSemProc.07421.2, author = {Chen, Liqun and Kremer, Steve and Ryan, Mark D.}, title = {{07421 Executive Summary – Formal Protocol Verification Applied}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.2}, URN = {urn:nbn:de:0030-drops-14186}, doi = {10.4230/DagSemProc.07421.2}, annote = {Keywords: Security protocols, formal verification, trusted computing, biometrics, security of mobile computing, electronic voting, payment systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Cas Cremers. Complete Characterization of Security Protocols by Pattern Refinement. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{cremers:DagSemProc.07421.3, author = {Cremers, Cas}, title = {{Complete Characterization of Security Protocols by Pattern Refinement}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.3}, URN = {urn:nbn:de:0030-drops-14173}, doi = {10.4230/DagSemProc.07421.3}, annote = {Keywords: Security protocols, Formal analysis, Verification, Tools} }
Published in: Dagstuhl Seminar Proceedings, Volume 7421, Formal Protocol Verification Applied (2008)
Michael Backes, Matteo Maffei, and Dominique Unruh. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. In Formal Protocol Verification Applied. Dagstuhl Seminar Proceedings, Volume 7421, pp. 1-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{backes_et_al:DagSemProc.07421.4, author = {Backes, Michael and Maffei, Matteo and Unruh, Dominique}, title = {{Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol}}, booktitle = {Formal Protocol Verification Applied}, pages = {1--43}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7421}, editor = {Liqun Chen and Steve Kremer and Mark D. Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07421.4}, URN = {urn:nbn:de:0030-drops-14153}, doi = {10.4230/DagSemProc.07421.4}, annote = {Keywords: Language-based security, zero-knowledge proofs, applied pi-calculus, direct anonymous attestation} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan. Objects, Agents and Features (Dagstuhl Seminar 03081). Dagstuhl Seminar Report 367, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{ehrich_et_al:DagSemRep.367, author = {Ehrich, Hans-Dieter and Meyer, John-Jules Ch. and Ryan, Mark D.}, title = {{Objects, Agents and Features (Dagstuhl Seminar 03081)}}, pages = {1--6}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {367}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.367}, URN = {urn:nbn:de:0030-drops-152472}, doi = {10.4230/DagSemRep.367}, }
Feedback for Dagstuhl Publishing