Tommy Thorn

Verification of control flow based security properties

Daniel Le Métayer, Thomas P. Jensen, Tommy Thorn, 1999, Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344).

Security and dynamic class loading in Java: a formalisation

Daniel Le Métayer, Thomas P. Jensen, Tommy Thorn, 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).

Coarse Grained Java Security Policies

Daniel Le Métayer, Thomas P. Jensen, Tommy Thorn, 1998, ECOOP Workshops.

Programming languages for mobile code

Tommy Thorn, Tommy Thorn, 1997 .

Embedded JIT Compilation with CACAO on YARI

Martin Schoeberl, Florian Brandner, Tommy Thorn, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation

Shreesha Srinath, Jose Renau, Polychronis Xekalakis, 2021, MICRO.