SISTO, RICCARDO
 Distribuzione geografica
Continente #
AS - Asia 321
NA - Nord America 256
SA - Sud America 93
EU - Europa 66
AF - Africa 9
Totale 745
Nazione #
US - Stati Uniti d'America 249
SG - Singapore 122
CN - Cina 80
BR - Brasile 77
VN - Vietnam 46
HK - Hong Kong 42
NL - Olanda 18
FR - Francia 15
ID - Indonesia 8
DE - Germania 7
KR - Corea 7
AR - Argentina 6
GB - Regno Unito 5
BD - Bangladesh 4
EC - Ecuador 4
IT - Italia 4
PL - Polonia 4
TR - Turchia 4
FI - Finlandia 3
IN - India 3
MX - Messico 3
CO - Colombia 2
CZ - Repubblica Ceca 2
ES - Italia 2
IE - Irlanda 2
JP - Giappone 2
TN - Tunisia 2
VE - Venezuela 2
ZA - Sudafrica 2
BY - Bielorussia 1
CA - Canada 1
CU - Cuba 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
IL - Israele 1
IQ - Iraq 1
JO - Giordania 1
KE - Kenya 1
MA - Marocco 1
ME - Montenegro 1
PR - Porto Rico 1
PY - Paraguay 1
SE - Svezia 1
SN - Senegal 1
UA - Ucraina 1
UY - Uruguay 1
Totale 745
Città #
Santa Clara 120
Singapore 63
Hong Kong 42
San Jose 25
Beijing 24
Los Angeles 23
Hefei 18
Ho Chi Minh City 15
Lauterbourg 15
Buffalo 13
Hanoi 11
São Paulo 11
Ashburn 9
Seoul 7
New York 5
Rio de Janeiro 5
Haiphong 4
Hải Dương 4
Warsaw 4
Council Bluffs 3
Hortolândia 3
Santo André 3
Turin 3
Boston 2
Camaçari 2
Chicago 2
Curitiba 2
Da Nang 2
Dallas 2
Dhaka 2
Frankfurt am Main 2
Mexico City 2
Nam Định 2
Shanghai 2
Tunis 2
Turku 2
Abelardo Luz 1
Alpinópolis 1
Altenstadt 1
Alvorada 1
Amman 1
Ankara 1
Antakya 1
Atlanta 1
Babahoyo 1
Bandung 1
Barcelona 1
Bauru 1
Bela Vista de Goiás 1
Belfast 1
Bengaluru 1
Bogotá 1
Brasília 1
Bristol 1
Brno 1
Bình Dương 1
Cachoeirinha 1
Camaragibe 1
Camden 1
Campo Grande 1
Can Tho 1
Carolina 1
Caxias do Sul 1
Chandigarh 1
Chapecó 1
City of London 1
Columbus 1
Cândido Sales 1
Dakar 1
Dayton 1
Denver 1
Des Moines 1
Dublin 1
Dumfries 1
Durban 1
Düsseldorf 1
El Tigre 1
Erzurum 1
Forest City 1
Formosa 1
Fortaleza 1
Goiânia 1
Gravatá do Ibiapina 1
Greensboro 1
Gresik 1
Guangzhou 1
Hanover 1
Havana 1
Helsinki 1
Houston 1
Hà Tĩnh 1
Ibatiba 1
Ipatinga 1
Isidro Casanova 1
Itabaiana 1
Jacksonville 1
Jakarta 1
Jaú 1
Johannesburg 1
Juan José Castelli 1
Totale 520
Nome #
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 77
A formal approach for network security policy validation 54
Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus 47
Automatic Testing Equivalence Verification of Spi-calculus Specifications 46
Dynamic Data Management in STEP 44
Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison 44
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis 42
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 40
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 39
Improving the Security of Industrial Networks by Means of Formal Verification 38
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 38
On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols 37
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 36
Graphic LOTOS Specification of an EN50254 System 35
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study 35
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 33
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus 32
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification 28
Totale 745
Categoria #
all - tutte 2.951
article - articoli 1.664
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.615


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20245 0 0 0 0 0 0 0 0 1 0 3 1
2024/2025326 1 1 35 8 116 0 18 5 0 58 29 55
2025/2026414 11 49 41 67 112 16 68 8 6 10 26 0
Totale 745