Catalogo Ricerca

Catalogo Ricerca: [6612] Home page macrotipologia

Sfoglia

1 Contributo su Rivista 3289
- 1.1 Articolo in rivista 3044
- 1.2 Recensione in rivista 156
- 1.3 Scheda bibliografica 5
- 1.4 Nota a sentenza 16
- 1.5 Abstract in rivista 65
- 1.6 Traduzione in rivista 3

2 Contributo in Volume 1055

3 Libro 128
- 3.1 Monografia o trattato scientifico 112
- 3.2 Concordanza 0
- 3.3 Indice 1
- 3.4 Bibliografia 0
- 3.5 Edizione critica 1
- 3.6 Pubblicazione di fonti inedite 6
- 3.7 Commento scientifico 2
- 3.8 Traduzione di libro 6

4 Contributo in Atti di Convegno (Proceeding) 1390
- 4.1 Contributo in Atti di convegno 1254
- 4.2 Abstract in Atti di convegno 103
- 4.3 Poster 33

5 Altro 149
- 5.01 Composizione 3
- 5.02 Disegno 0
- 5.03 Design 0
- 5.04 Performance 0
- 5.05 Esposizione 0
- 5.06 Mostra 3
- 5.07 Manufatto 0
- 5.08 Prototipo d'arte e relativi progetti 0
- 5.09 Cartografia 0
- 5.10 Banca dati 2
- 5.11 Software 5
- 5.12 Working paper 71
- 5.13 Progetto architettonico 0
- 5.14 Rapporto tecnico / Rapporto di ricerca 20
- 5.15 Altro 45

6 Brevetti 7
- 6.1 Brevetto 7

7 Curatele 118
- 7.1 Curatela 118

8 Tesi di dottorato 476
- 8.1 Tesi di dottorato 476

Prodotti recenti

Regulatory sandboxes under scrutiny: five dimensions in need of attention

Regulatory sandboxes have become a key instrument in EU digital governance, and substantial academic research has mapped their legal framework and assessed their operational effectiveness. This paper does not revisit that ground. Instead, it identifies a set of structurally important questions that have been inadequately investigated in the existing literature. These questions address the fundamental issue of whether sandboxes can function as legitimate, effective, and democratically accounta...

Understanding energy efficiency of AI deployments in IoT-driven smart cities

The pervasive adoption of AI and AIoT applications at the network edge presents both opportunities and challenges for smart cities. With a focus on the energy efficiency of AI in urban environments, this paper provides a systematic comparative analysis of representative edge hardware platforms, i.e., embedded GPUs, FPGAs, and ultra-low-power microcontroller-/sensor-class devices, assessing their suitability for AI workloads in IoT-driven smart city infrastructures. The evaluation, based on di...

A formally verified secure caching mechanism on trustzone-enabled microcontrollers

Trusted Execution Environments (TEEs) on resource-constrained microcontrollers are an emerging area of interest, yet they present unique security challenges, particularly in managing encrypted code execution through limited secure memory. This paper presents a formal verification approach for Umbra, a TEE framework for ARM TrustZone-M, currently under development, that implements secure caching mechanisms to execute encrypted enclaves from flash memory. We employ model checking techniques to ...

Cybercity: a practical approach to teach and learn cybersecurity in smart cities

This paper presents the activities of the Cybercity project. It aims to develop an innovative framework for teaching and learning cybersecurity in a practical way, using an educational platform consisting of a smart city scale model, where the students can practice security threats, attacks and countermeasures. In this paper, the main objectives of the project are presented, and the first activities are discussed. In particular, the design and the implementation of the educational platform ar...

Security auditing for RISC-V SoCs via process mining

The rapid adoption of open-hardware RISC-V System-on-Chip (SoC) designs in security-sensitive embedded and edge scenarios is raising the bar on observability and assurance requirements for such platforms. In fact, unforeseen runtime misbehaviors due to incompatible third-party IPs, hardware trojans in peripherals, and compromised drivers can cause misbehaviors that core-level monitors, such as RISC-V Formal Interface (RVFI), cannot see. We introduce the Peripheral Formal Interface (PFI), a pa...

Scopri

Accesso al fulltext

no fulltext2510
open1961
reserved1822
partially open258
embargoed56
mixed5