all InfoSec news
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version). (arXiv:2207.03360v1 [cs.LO])
July 8, 2022, 1:20 a.m. | Ugo Dal Lago, Giulia Giusti
cs.CR updates on arXiv.org arxiv.org
A system of session types is introduced as induced by a Curry Howard
correspondence applied to Bounded Linear Logic, and then extending the thus
obtained type system with probabilistic choices and ground types. The obtained
system satisfies the 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.
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
SOC 2 Manager, Audit and Certification
@ Deloitte | US and CA Multiple Locations
Security Architect - Hardware
@ Intel | IND - Bengaluru
Elastic Consultant
@ Elastic | Spain
OT Cybersecurity Specialist
@ Emerson | Abu Dhabi, United Arab Emirates
Security Operations Program Manager
@ Kaseya | Miami, Florida, United States
Senior Security Operations Engineer
@ Revinate | Vancouver