Language-Based Technology
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2005
- Published
Flow logic for language-based safety and security. / Hansen, René Rydhof; Nielson, Flemming (Supervisor).
2005. (IMM-PHD-2005-143).Publication: Research › Ph.d. thesis – Annual report year: 2005
- 2004
- Published
Automated Analysis of Security in Networking Systems. / Buchholtz, Mikael; Nielson, Hanne Riis (Supervisor); Nielson, Flemming (Supervisor).
2004. (IMM-PHD-2004-141).Publication: Research › Ph.d. thesis – Annual report year: 2004
- Published
Cryptographic Analysis in Cubic Time. / Nielson, Flemming; Nielson, Hanne Riis; Seidl, H.
In: Electronic Notes in Theoretical Computer Science, Vol. 62, No. 17, 2004, p. 1.Publication: Research - peer-review › Journal article – Annual report year: 2004
- Published
Prototyping Proof-Carrying Code. / Wildmoser, Martin; Nipkow, Tobias; Klein, Gerwin; Nanz, Sebastian.
In: Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). 2004.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- Published
Spatial Analysis of BioAmbients. / Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik.
In: Proceedings of Static Analysis Symposium 2004 (SAS'04). Springer Verlag, 2004. p. 69-83.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- Published
Static Analysis of Routing Protocols for Ad-Hoc Networks. / Nanz, Sebastian; Hankin, Chris.
In: Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04). 2004.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- 2002
- Published
Modular Control Flow Analysis for Libraries. / Probst, Christian W.
In: Proceedings of the 9th International Symposium on Static Analysis. 2002.Publication: Research - peer-review › Article in proceedings – Annual report year: 2002