Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Risultati: 1 - 3 di 3
  • Precedente
  • 1
  • Successivo
Documenti rinvenuti:
Data di edizioneTitoloAutore/i
12-mar-2019Model Checking Cyber-Physical SystemsChiacchio, Pasquale; Parente, Domenico; Driouich, Youssef
6-mar-2019On Provable Security of Entity Authentication SchemesChiacchio, Pasquale; Masucci, Barbara; Flores, Manuela
7-mar-2019Improvement in the management of cryptographic keys in a HSM and proposal of an Outdoor Position Certification AuthorityChiacchio, Pasquale; De Prisco, Roberto; Mannetta, Marco