1 Search Results for "Giusti, Giulia"

Document
DOI: 10.4230/LIPIcs.CONCUR.2022.37
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments

Authors: Ugo Dal Lago and Giulia Giusti

Published in: LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022)

Abstract
A system of session types is introduced as induced by a Curry Howard correspondence applied to bounded linear logic, suitably extended with probabilistic choice operators and ground types. The resulting system satisfies some expected properties, like subject reduction and progress, but also unexpected ones, like a polynomial bound on the time needed to reduce processes. This makes the system suitable for modelling experiments and proofs from the so-called computational model of cryptography.
Cite as

Ugo Dal Lago and Giulia Giusti. On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. In 33rd International Conference on Concurrency Theory (CONCUR 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 243, pp. 37:1-37:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{dallago_et_al:LIPIcs.CONCUR.2022.37,
  author =	{Dal Lago, Ugo and Giusti, Giulia},
  title =	{{On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments}},
  booktitle =	{33rd International Conference on Concurrency Theory (CONCUR 2022)},
  pages =	{37:1--37:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-246-4},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{243},
  editor =	{Klin, Bartek and Lasota, S{\l}awomir and Muscholl, Anca},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.37},
  URN =		{urn:nbn:de:0030-drops-171000},
  doi =		{10.4230/LIPIcs.CONCUR.2022.37},
  annote =	{Keywords: Session Types, Probabilistic Computation, Bounded Linear Logic, Cryptographic Experiments}
}
  • Refine by Author
  • 1 Dal Lago, Ugo
  • 1 Giusti, Giulia

  • Refine by Classification
  • 1 Security and privacy → Mathematical foundations of cryptography
  • 1 Theory of computation → Process calculi
  • 1 Theory of computation → Program semantics

  • Refine by Keyword
  • 1 Bounded Linear Logic
  • 1 Cryptographic Experiments
  • 1 Probabilistic Computation
  • 1 Session Types

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2022

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact