===== Research Topics of the Security Group ====

The [[start|Security Group]] at the University of Trento covers both technological research and empirical research. Below there is a simple description of the current active topics.

You can also find the individual research topics by looking at individual researchers who are [[security_group|members]] of the group. Each area reports its own publications and talks which you can also find in the overall [[publications|publication page]] and global [[talks|talks and tutorial page]].

==== Hotter Topics ====

  * [[Behavioral Biometrics]]
  * [[Security Economics]]
  * [[Validation of Risk and Security Requirements Methodologies|Empirical Methods for Security Risk Assessment]]
  * [[Vulnerability_discovery_models|How to Find and Assess (Dangerous) Vulnerabilities?]]
  * [[malware_analysis|Cyber Security Testbeds and Malware Testing]]
  * [[https://squera.github.io/about/|Secure Compilation]]

==== Interesting Topics ====

  * [[Mobile Phone Security]]
  * [[Practical Enforcement of Information Flow Properties]]
  * [[Security Requirements Engineering]]
  * [[Innovation Potential of Security Research]]

==== Colder Topics ====

  * [[Security-by-Contract for Mobile and Smart Card]]
  * [[Securing Access to Cloud Storage]]
  * [[https://sites.google.com/site/securepubsub/home|Secure Publisher/Subscriber System]] 
  * [[http://disi.unitn.it/~massacci/CryptoSAT/|Logical Cryptanalysis aka SAT-based Cryptanalysis]]