Patrignani, Marco
 Distribuzione geografica
Continente #
NA - Nord America 406
EU - Europa 136
AS - Asia 91
Totale 633
Nazione #
US - Stati Uniti d'America 405
SG - Singapore 63
IT - Italia 61
SE - Svezia 29
GB - Regno Unito 24
ID - Indonesia 13
FI - Finlandia 11
CN - Cina 5
HK - Hong Kong 5
FR - Francia 3
JP - Giappone 3
KR - Corea 2
NL - Olanda 2
RU - Federazione Russa 2
CA - Canada 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
DE - Germania 1
ES - Italia 1
Totale 633
Città #
Ashburn 90
Columbus 57
Princeton 50
Singapore 48
Trento 29
Chandler 28
Washington 18
Fairfield 13
Jakarta 13
Como 10
New York 10
San Diego 8
Cambridge 7
Houston 7
London 7
Helsinki 6
Kilburn 6
Dallas 5
Santa Clara 4
Ann Arbor 3
Milan 3
New Bedfont 3
Seattle 3
Treviso 3
Turku 3
Verona 3
Wilmington 3
Amsterdam 2
Lappeenranta 2
Lavis 2
Moscow 2
Pisa 2
Prescot 2
Seoul 2
Trieste 2
Vittuone 2
Central 1
Chiswick 1
Chiyoda-ku 1
Durham 1
Exeter 1
Guangzhou 1
Ha Kwai Chung 1
Hounslow 1
Kitchener 1
Nanning 1
Napoli 1
Paris 1
Schönau am Königsee 1
Shiohama 1
Takasago 1
Turin 1
Woodbridge 1
Xi'an 1
Zero Branco 1
Zurich 1
Totale 478
Nome #
Automatic Detection of Speculative Execution Combinations 50
Parametricity versus the universal type 38
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 34
Modular Information Flow Through Ownership 31
Exorcising Spectres with Secure Compilers 30
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 30
On the semantic expressiveness of recursive types 30
Robustly Safe Compilation, an Efficient Form of Secure Compilation 29
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle 27
Modular, Fully-abstract Compilation by Approximate Back-translation 26
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 25
Fully abstract trace semantics for protected module architectures 23
Trace-Relating Compiler Correctness and Secure Compilation 23
Type-directed scheduling of streaming accelerators 23
Implementing a secure abstract machine 22
Fully abstract trace semantics for low-level isolation mechanisms 22
Robustly Safe Compilation 21
Secure Compilation and Hyperproperty Preservation 21
Two Parametricities Versus Three Universal Types 20
A High-Level Model for an Assembly Language Attacker by Means of Reflection 20
A Secure Compiler for ML Modules 20
Ownership Types for the Join Calculus 20
Fully-abstract compilation by approximate back-translation 19
On Modular and Fully-Abstract Compilation 18
Operational semantics for secure interoperation 18
Secure Compilation to Protected Module Architectures 17
Secure Compilation of Object-Oriented Components to Protected Module Architectures 16
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 14
Robust Safety for Move 11
Totale 698
Categoria #
all - tutte 10.947
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.947


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022159 0 0 0 0 0 0 0 0 61 30 24 44
2022/2023171 26 6 0 3 7 21 5 19 23 1 21 39
2023/2024228 13 14 28 11 37 66 11 4 3 5 8 28
2024/2025140 1 5 4 117 13 0 0 0 0 0 0 0
Totale 698