Metodi altri sono trovare una approssimazione facile da calcolare (simile all'approccio del modello surrogato credo). Ma nel nostro caso proviamo a trovare metodi di esplorare lo spazio dei parametri in modo intelligente. Deterministic methods # Sono utilizzabili quando ci sono…
Universal Composability (UC) Framework # Motivation: The Composition Problem # The fundamental issue UC addresses: protocols proven secure in isolation can fail catastrophically when run concurrently with other protocols. Classical security definitions (e.g., standalone…
Introduzione al potenziale elettrostatico # Abbiamo studiato in dinamica che il potenziale è un concetto strettamente legato al Lavoro, ossia dalla quantità di energia necessaria per spostare un oggetto da un punto all'altro, vogliamo cercare di definire le relazioni che…
Process Calculus and Session Types (Honda, Yoshida, Carbone) # Historical Lineage and Motivation # The process calculus literature on session types originates from the fundamental insight that communication itself can be typed . Just as data types codify the structure of data,…
TFNP and Its Subclasses: The Complexity Landscape of Total Search Problems # Context and Motivation # Standard complexity theory (P, NP, coNP) deals with decision problems . But many natural problems are search problems : given an input, find an object satisfying some property.…
Universal Composability (UC) Framework # Motivation and Background # The UC framework, introduced by Ran Canetti (FOCS 2001, JACM 2020), addresses a fundamental limitation of prior security definitions for cryptographic protocols: composability . Traditional security proofs…
Equivalenza dei tipi (2) # Quando possiamo dire che due tipi siano uguali? Solitamente vengono utilizzati due metodi: Equivalenza Nominale # Quando un nuono tipo introduce un nuovo nome diverso fra tutti i presenti. Credo così vada golang. Quindi in questo caso si può dire che…
Significato di astrazione # L'astrazione è una cosa fondamentale nell'informatica, l’abbiamo visto anche nella prima lezione in assoluto per architettura, il sistema a strati di Architettura e livelli 1, 2 reti e simili. Il principali metodi sono astrazioni sul controllo e sui…
Per l’analisi lessicale vogliamo cercare di ricordare le parole legali all'interno di questo linguaggio e questo è fatto con i linguaggi regolari. Introduzione a analizzatori lessicali # Token # Struttura del token è fatto da due parti Identificatore della classe del token…
Descrivo ora alcune domande utili per ripasso: Quali sono schematicmente quali sono le operazioni migliori per un parser top-down? Cosa è un prefisso viabile? Quali sono i conflitti possibli, e come risolverli… Non sai nemmeno definire inmodo formale cosa sia un item Bottom up #…