This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
start [2021/12/16 13:28] fabio.massacci@unitn.it [Members] |
start [2022/07/12 09:08] marco.patrignani@unitn.it |
||
---|---|---|---|
Line 5: | Line 5: | ||
==== Research Topics ==== | ==== Research Topics ==== | ||
- | Our **[[research activities|research topics]]** cover two main important directions: | + | Our **[[research activities|research topics]]** cover these directions: |
* technological research (biometrics, mobile phone security, [[malware_analysis|testbeds and malware testing]], crypto for fintech, [[http://disi.unitn.it/~massacci/CryptoSAT/|SAT-based cryptanalysis]], etc.) | * technological research (biometrics, mobile phone security, [[malware_analysis|testbeds and malware testing]], crypto for fintech, [[http://disi.unitn.it/~massacci/CryptoSAT/|SAT-based cryptanalysis]], etc.) | ||
* empirical research ([[Security economics]], [[Validation of Risk and Security Requirements Methodologies|empirical risk assessment]], [[Vulnerability_discovery_models|vulnerability analysis]], etc.) | * empirical research ([[Security economics]], [[Validation of Risk and Security Requirements Methodologies|empirical risk assessment]], [[Vulnerability_discovery_models|vulnerability analysis]], etc.) | ||
+ | * fundamental research: [[https://squera.github.io/research/|programming language security and secure compilation]]. | ||
+ | |||
+ | |||
==== Members ==== | ==== Members ==== | ||