User Tools
research_activities
Differences
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 |
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 18: | Line 19: | ||
| * [[Practical Enforcement of Information Flow Properties]] | * [[Practical Enforcement of Information Flow Properties]] | ||
| * [[Security Requirements Engineering]] | * [[Security Requirements Engineering]] | ||
| - | * [[https://sites.google.com/site/securepubsub/home|Secure Publisher/Subscriber System]] | ||
| * [[Innovation Potential of Security Research]] | * [[Innovation Potential of Security Research]] | ||
| Line 25: | 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]] | ||
research_activities.1498089673.txt.gz · Last modified: 2021/01/29 10:58 (external edit)
Page Tools
