This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
research_activities [2017/06/22 02:01] fabio.massacci@unitn.it |
research_activities [2017/06/22 02:01] fabio.massacci@unitn.it [Colder Topics] |
||
---|---|---|---|
Line 18: | Line 18: | ||
* [[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 24: | ||
* [[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]] | ||