A type language for message passing component-based systems
2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs
2021 Canidio, Andrea; Costa, Gabriele; Galletta, Letterio
Analysing the Provenance of IoT Data
2020 Bodei, Chiara; Galletta, Letterio
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020 Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Tobias Mühlberg, Jan; Piessens, Frank
A True Concurrent Model of Smart Contracts Executions
2020 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
MUAC: Access control language for mutual benefits
2020 Ceragioli, L.; Degano, P.; Galletta, L.
Control-flow flattening preserves the constant-time policy
2020 Busi, M.; Degano, P.; Galletta, L.
Accumulating and Interacting. Artworks in Ancient Rome’s Public Spaces
2020 Poggio, Alessandro
Are all firewall systems equally powerful?
2019 Ceragioli, L.; Degano, P.; Galletta, L.
Revealing the trajectories of KLAIM tuples, statically
2019 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
A Minimal Core Calculus for Solidity Contracts
2019 Bartoletti, M.; Galletta, L.; Murgia, M.
Checking the Expressivity of Firewall Languages
2019 Ceragioli, L.; Degano, P.; Galletta, L.
Security Metrics at Work on the Things in IoT Systems
2020 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
A Multi-Horizon Perspective. Western Anatolian Material Evidence in the Persian Period
2019 Poggio, A.
Il fregio dipinto dall’atrio 24 dei Praedia di Iulia Felix (Pompei, II, 4, 3). Una rilettura attraverso il contributo dei documenti d’archivio e di nuove applicazioni di archeologia virtuale
2020 Olivito, R.; Baldini, J.
Trasformazioni urbanistiche nella Sicilia centro-occidentale di età tardoellenistica e protoimperiale
2020 Olivito, R.
Fortificazioni e porte urbane nell’area del santuario urbano di Punta Stilo a Kaulonia
2021 Olivito, R.
Il Progetto Pompeian Residential Architecture. Environmental, Digital and Interdisciplinary Archive (PRAEDIA). Indagini nel giardino dei Praedia di Iulia Felix (Pompei II, 4)
2020 Anguissola, A.; Olivito, R.
I luoghi della Storia. Luigi Lanzi tra centri e provincia
2020 Pellegrini, Emanuele
A Parallel Decomposition Scheme for Solving Long-Horizon Optimal Control Problems
2019 Shin, Sungho; Faulwasser, Timm; Zanon, Mario; Zavala, Victor M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1250
Data di pubblicazione
- In corso di stampa9
- 2020 - 2027361
- 2010 - 2019571
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE111
- Springer59
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery24
- CEUR-WS20
- Springer Nature18
- IEEE Computer Society17
- Springer Verlag17
- Association for Computing Machine...12
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...11
- LECTURE NOTES IN COMPUTER SCIENCE6
- SLEEP6
- ENERGY PROCEDIA5
- PROCEEDINGS OF THE IEEE CONFERENC...5
- CEUR WORKSHOP PROCEEDINGS4
- JOURNAL OF SLEEP RESEARCH4
- LECTURE NOTES IN APPLIED AND COMP...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE68
- CEUR WORKSHOP PROCEEDINGS38
- IFAC-PAPERSONLINE23
- PROCEEDINGS OF THE IEEE CONFERENC...22
- PROCEEDINGS OF THE ... IEEE CONFE...11
- COMMUNICATIONS IN COMPUTER AND IN...9
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES IN COMPUTER SCIENCE7
- LECTURE NOTES OF THE INSTITUTE FO...7
- PROCEEDINGS OF THE AMERICAN CONTR...6
Keyword
- Cybersecurity13
- Machine learning12
- Security12
- Deep Learning8
- Artificial intelligence7
- Games7
- Machine Learning7
- Malware7
- security7
- Blockchain6
Lingua
- eng926
- ita107
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext686
- reserved320
- open194
- partially open45
- embargoed3
- mixed2