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 ...1129
Data di pubblicazione
- In corso di stampa2
- 2020 - 2025251
- 2010 - 2019567
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE104
- Springer57
- Institute of Electrical and Elect...34
- Elsevier33
- Association for Computing Machinery20
- Springer Verlag17
- IEEE Computer Society15
- EURAM11
- Springer Science and Business Med...10
- Association for Computing Machine...8
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...9
- 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 SCIENCE50
- IFAC-PAPERSONLINE22
- PROCEEDINGS OF THE IEEE CONFERENC...21
- CEUR WORKSHOP PROCEEDINGS12
- PROCEEDINGS OF THE ... IEEE CONFE...11
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES OF THE INSTITUTE FO...7
- COMMUNICATIONS IN COMPUTER AND IN...6
- PROCEEDINGS OF THE AMERICAN CONTR...6
- COMPUTER-AIDED CHEMICAL ENGINEERING5
Keyword
- Games7
- security7
- Machine learning6
- Security6
- Uncertainty6
- Model predictive control5
- Nash equilibrium5
- Optimization5
- Software5
- Boundary element method4
Lingua
- eng818
- ita99
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext677
- reserved297
- open123
- partially open32