This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
research_activities [2017/06/22 02:01] fabio.massacci@unitn.it [Interesting Topics] |
research_activities [2022/07/12 07:11] (current) |
||
---|---|---|---|
Line 7: | Line 7: | ||
==== Hotter Topics ==== | ==== Hotter Topics ==== | ||
- | * [[Biometrics]] | + | * [[Behavioral Biometrics]] |
* [[Security Economics]] | * [[Security Economics]] | ||
* [[Validation of Risk and Security Requirements Methodologies|Empirical Methods for Security Risk Assessment]] | * [[Validation of Risk and Security Requirements Methodologies|Empirical Methods for Security Risk Assessment]] | ||
- | * [[Vulnerability_discovery_models|How to find and assess vulnerabilities?]] | + | * [[Vulnerability_discovery_models|How to Find and Assess (Dangerous) Vulnerabilities?]] |
- | * [[Cyber Security Testbeds and Malware Testing]] | + | * [[malware_analysis|Cyber Security Testbeds and Malware Testing]] |
+ | * [[https://squera.github.io/about/|Secure Compilation]] | ||
==== Interesting Topics ==== | ==== Interesting Topics ==== | ||
Line 24: | Line 25: | ||
* [[Security-by-Contract for Mobile and Smart Card]] | * [[Security-by-Contract for Mobile and Smart Card]] | ||
* [[Securing Access to Cloud Storage]] | * [[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]] | * [[http://disi.unitn.it/~massacci/CryptoSAT/|Logical Cryptanalysis aka SAT-based Cryptanalysis]] | ||