Browsing by Author "Tempesta, Mauro <1990>"

DSpace/Manakin Repository

Browsing by Author "Tempesta, Mauro <1990>"

Sort by: Order: Results:

  • Disciplined techniques for the analysis and protection of security-critical systems 
    Tempesta, Mauro <1990> (Università Ca' Foscari Venezia, 2019-03-20)
    In the last years most of our daily activities have moved to the digital world, including sensitive operations related to health data management and financial processes. Security flaws in the systems running these critical ...
  • Enforcing Session Integrity in the World "Wild" Web 
    Tempesta, Mauro <1990> (Università Ca' Foscari Venezia, 2015-03-12)
    Over the last years, client-side attacks against web sessions covered a relevant subset of web security incidents. Existing solutions proposed in the literature and by web standards, though interesting, typically address ...