PORTO @ Archivio Istituzionale della Ricerca

SISTO, Riccardo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 41.676
EU - Europa 21.486
AS - Asia 13.642
SA - Sud America 992
Continente sconosciuto - Info sul continente non disponibili 718
AF - Africa 231
OC - Oceania 32
Totale 78.777
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 41.195
IT - Italia 5.481
SG - Singapore 4.208
DE - Germania 3.716
FR - Francia 3.583
GB - Regno Unito 3.405
CN - Cina 2.863
VN - Vietnam 2.798
RU - Federazione Russa 1.544
HK - Hong Kong 1.070
UA - Ucraina 820
BR - Brasile 773
KR - Corea 581
NL - Olanda 505
IE - Irlanda 457
TR - Turchia 450
IN - India 397
SE - Svezia 345
CA - Canada 301
FI - Finlandia 281
BD - Bangladesh 251
BE - Belgio 220
AT - Austria 218
CH - Svizzera 202
JP - Giappone 180
PT - Portogallo 180
ID - Indonesia 109
TH - Thailandia 92
MY - Malesia 82
TW - Taiwan 82
AR - Argentina 80
PH - Filippine 79
ES - Italia 75
IL - Israele 70
GR - Grecia 61
PL - Polonia 60
PK - Pakistan 56
IQ - Iraq 54
ZA - Sudafrica 54
UZ - Uzbekistan 49
JO - Giordania 48
MX - Messico 40
IR - Iran 37
SN - Senegal 36
RO - Romania 35
CL - Cile 34
CO - Colombia 32
AP - ???statistics.table.value.countryCode.AP??? 29
CR - Costa Rica 28
CZ - Repubblica Ceca 28
SA - Arabia Saudita 28
EG - Egitto 27
AU - Australia 26
DK - Danimarca 26
EU - Europa 26
JM - Giamaica 25
EC - Ecuador 23
BG - Bulgaria 22
DZ - Algeria 22
EE - Estonia 20
MA - Marocco 18
KE - Kenya 16
VE - Venezuela 16
KZ - Kazakistan 15
LT - Lituania 15
PR - Porto Rico 15
BY - Bielorussia 14
HU - Ungheria 14
TN - Tunisia 14
HR - Croazia 13
PE - Perù 13
NP - Nepal 12
AE - Emirati Arabi Uniti 11
AL - Albania 10
GH - Ghana 10
HN - Honduras 10
AZ - Azerbaigian 9
LU - Lussemburgo 9
PY - Paraguay 9
KW - Kuwait 8
PA - Panama 8
SI - Slovenia 8
UY - Uruguay 8
CI - Costa d'Avorio 7
GE - Georgia 7
GT - Guatemala 7
NO - Norvegia 7
SV - El Salvador 7
TT - Trinidad e Tobago 7
DO - Repubblica Dominicana 6
ET - Etiopia 6
IS - Islanda 6
LV - Lettonia 6
NI - Nicaragua 6
NZ - Nuova Zelanda 6
OM - Oman 6
BA - Bosnia-Erzegovina 5
KG - Kirghizistan 5
MT - Malta 5
RS - Serbia 5
Totale 77.998
Salva come PNG Salva come JPEG
Città #
Ashburn 13.548
Boardman 6.419
Southend 2.868
Singapore 2.236
Seattle 1.825
Turin 1.517
Fairfield 1.364
San Jose 1.130
Fremont 1.096
Chandler 983
Hong Kong 910
Ann Arbor 807
Woodbridge 790
Ho Chi Minh City 701
Hanoi 660
Dallas 654
Houston 597
Cambridge 512
Santa Clara 492
Wilmington 479
Milan 475
Beijing 471
Princeton 440
Torino 437
Dublin 433
Chicago 393
Jacksonville 391
Los Angeles 344
Council Bluffs 343
Buffalo 305
Berlin 271
Des Moines 254
San Ramon 254
Hefei 252
Seoul 242
Moscow 241
Helsinki 231
Lauterbourg 226
Izmir 215
New York 202
Brussels 193
San Francisco 188
Rome 184
Shanghai 170
Lisbon 162
Bern 161
Tongling 151
Guangzhou 149
San Donato Milanese 144
Vienna 138
Istanbul 137
Zhengzhou 123
Amsterdam 122
Da Nang 119
Toronto 119
North Bergen 117
Saint Petersburg 116
Baltimore 109
Groningen 109
Bologna 100
Wuhan 97
Haiphong 94
Frankfurt 93
Pennsylvania Furnace 93
Frankfurt am Main 92
Overberg 90
Tokyo 90
Lecce 89
Zaporozhye 83
Jakarta 79
Phoenix 74
Monopoli 73
London 67
Nuremberg 67
San Diego 60
São Paulo 60
Mountain View 58
Norwalk 57
Padua 54
The Dalles 52
Las Vegas 51
Naples 51
Hangzhou 50
Shenzhen 49
Athens 48
Herkenbosch 47
Paris 47
Columbus 46
Munich 46
Atlanta 44
Nanjing 44
Kwai Chung 43
Redwood City 43
Jerusalem 40
Malatya 40
Orem 38
Overland Park 38
University Park 38
Hải Dương 35
Montreal 34
Totale 51.213
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Security Protocol Implementations: A Survey 891
Formally based semi-automatic implementation of an open security protocol 866
An Efficient Data Exchange Algorithm for Chained Network Functions 854
SPAF: Stateless FSA-Based Packet Filters 849
Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection 846
Formal verification of Virtual Network Function graphs in an SP-DevOps context 837
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs 835
Automated Formal Verification of Application-specific Security Properties 811
A LOTOS Extension for the Performance Analysis of Distributed Systems 808
Integrating Performance Analysis in the Context of LOTOS-Based Design 804
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 801
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code 796
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking 795
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 793
Formal Verification of LTE-UMTS Handover Procedures 787
Automatic Configuration of Opaque Network Functions in CMS 775
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 769
A new knowledge representation strategy for cryptographic protocol analysis 766
Visual Model-Driven Design, Verification and Implementation of Security Protocols 755
The JavaSPI Framework for Security Protocol Implementation 739
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 738
Provably correct Java implementations of Spi Calculus security protocols specifications 738
An approach to refinement checking of SysML requirements 732
An Overview of Software-based Support Tools for ISO 26262 719
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation 711
Safe abstractions of data encodings in formal security protocol models 709
PIT Overload Analysis in Content Centric Networks 703
dSPIN: A Dynamic Extension of SPIN 701
Vehicle Navigation Service Based on Real-Time Traffic Information 697
A Formal Model of Network Policy Analysis 696
A formal approach for network security policy validation 694
Using SPIN to Verify Security Properties of Cryptographic Protocols 678
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 676
Resource Management Policies for Cloud-based Interactive 3D Applications 674
On the Implementation of an Interface for a Multichannel Local Area Network 672
Parallel CRC Generation 669
Using Garbage Collection in Model Checking 669
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 660
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 656
Tools for cryptographic protocols analysis: A technical and experimental comparison 647
Rapid Prototyping of Protocols from LOTOS Specifications 645
Distributed-Memory Model Checking with SPIN 645
Detecting Chains of Vulnerabilities in Industrial Networks 645
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 644
Vulnerability Modelling for the Analysis of Network Attacks 644
iNFAnt: NFA pattern matching on GPGPU devices 637
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 636
Formal verification of LTE-UMTS and LTE–LTE handover procedures 632
A Graphical Tool for Protocol Design with Estelle 630
A Deadlock Detection Tool for Concurrent Java Programs 627
An Experience in Embedded Control Software Verification 623
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 622
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models 606
A Protocol for Multirendezvous of LOTOS Processes 600
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study 600
Seamless configuration of virtual network functions in data center provider networks 598
A Lightweight Security Analyzer inside GCC 583
Using Data Flow Analysis to Infer Type Information in Java Bytecode 583
The use of Estelle to specify manufacturing systems 581
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols 578
Automated Formal Methods for Security Protocol Engineering 573
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 572
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture 569
An Abstract Execution Model for Basic LOTOS 567
Improving the Security of Industrial Networks by means of Formal Verification 566
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 566
An efficient data exchange mechanism for chained network functions 560
A Grid-Powered Framework to Support Courses on Distributed Programming 559
A Java-based Formal Development Environment for Factory Communication Systems 559
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models 558
DynNav: Toward Open and Interoperable Navigation Services 557
Exploiting symmetries for testing equivalence verification in the SPI calculus 556
Push applications and dynamic content generation over content-centric networking 551
A LOTOS Specification of the SERCOS Field-bus Protocol 541
JavaSPI: A Framework for Security Protocol Implementation 540
Formal Specification and Verification of the Real-time Scheduler in FIP 537
Implementation of Static Semantic Analysis of LOTOS Specifications 536
Formally sound implementations of security protocols with JavaSPI 533
Temporal Logic Properties of Java Objects 531
Throughput Analysis of Timed Token Protocols in Double Ring Networks 514
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 512
Automated firewall configuration in virtual networks 509
Temporal Logic Properties of Java Objects 507
Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262 486
A Formalization Of The FIP Protocol Using Estelle 472
A framework for user-friendly verification-oriented VNF modeling 471
A Static Semantic Analyzer for LOTOS Specifications 469
Probabilistic Characterization of Algebraic Protocol Specifications 460
Combining SysML modelling with refinement checking in Eclipse 449
A Configurable Mobile Agent Data Protection Protocol 449
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 448
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 437
Wireless for the factory: The Wi-Fact analysis 434
SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal 432
Esercizi di Fondamenti di Informatica 429
Modeling and Validation of Java Multi-threading applications using Spin 424
SCARAB: Innovative Services Supporting User and Terminal Mobility 420
Automatic testing equivalence verification of spi calculus specifications 414
SPRINT: A DSP-based Electrical Simulator 414
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 412
Totale 62.468
Salva come PNG Salva come JPEG
Categoria #
all - tutte 170.604
article - articoli 62.847
book - libri 989
conference - conferenze 103.265
curatela - curatele 0
other - altro 0
patent - brevetti 1.464
selected - selezionate 0
volume - volumi 2.039
Totale 341.208
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.829 0 0 0 131 111 171 181 85 148 175 365 462
2022/20233.363 281 499 134 300 342 420 398 158 304 69 186 272
2023/20241.694 72 286 202 91 152 97 108 130 79 58 141 278
2024/20256.441 146 639 289 709 329 353 470 694 854 412 575 971
2025/202616.642 745 559 956 1.109 1.201 900 2.351 1.517 3.045 1.992 940 1.327
2026/20273.506 1.057 725 1.331 393 0 0 0 0 0 0 0 0
Totale 78.777