In passato, lâarte della âscrittura nascostaâ (meglio nota come crittografia) era per lo più riferita ad un insieme di metodi per nascondere il contenuto di un dato messaggio agli occhi di lettori non autorizzati. Oggi, lâevoluzione dei sistemi digitali ha generato nuovi scenari di comunicazione, richiedendo ai moderni crittografi di progettare crittosistemi che soddisfino requisiti di sicurezza complessi, ben oltre il requisito base di confidenzialità ottenibile attraverso la âscrittura nascostaâ. Tuttavia, lâanalisi di sicurezza di questi schemi crittografici (fino ai primi anni â80) era soprattutto guidata dallâintuito e dallâesperienza. Nuovi schemi venivano ideati e, dopo qualche tempo, inevitabilmente, un nuovo attacco alla sicurezza veniva scoperto. Il paradigma della âsicurezza dimostrabileâ ha trasformato la crittografia da arte a scienza, introducendo un paradigma forÂmale per lâanalisi di sicurezza dei crittosistemi: in questo modo è possibile fornire una dimostrazione matematica che un dato sistema è sicuro rispetto ad una classe generale di attaccanti. Tanto più vasta e vicina alla realtà è queÂsta classe, tanto più forti sono le garanzie offerte dal crittosistema analizzato. Il libro ha lo scopo di guidare lo studente (oppure il giovane ricercatore) nel mondo crittografico, in modo che acquisisca le metodologie di base, prepaÂrandosi alla ricerca nellâarea.