This is an old revision of the document!
Software from the Security Group in Trento
The group has made available a number of software tools that can be also found in the individual research activities.
Download and Run
-
TestREx (a Testbed for Repeatable Exploits) is available on
GitHub. Instructions on how to use are available on our
wiki. The paper appears on
USENIX CSET'14.
MalwareLab scripts for experimenting with ekits attacks described in our
malware_analysis is available for download
(ZIP). The paper appears in the
Usenix CSET 2013. An additional archive with historical releases of Mozilla Firefox, Opera Browser, Adobe Flash and Adobe Reader is also available for sharing. You can follow the guidelines
here to request it.
The
Web-service for Autonomic Interactive Authorization is available as
open source. The paper appears in
ACM TAAS.
Ask the Developer
-
We released the binaries of the SxC verifier for Java Card (the developer version for PC). It is a result of our work on applying the Security-by-Contract paradigm to Java smart cards (check out
Security-by-Contract for Mobiles and Smart Cards for more details). To get the binaries please contact Fabio Massacci or Olga Gadyatskaya
name.surname@unitn.it
-