Language-Based Technology

  1. 2005
  2. Published

    A portable virtual machine target for proof-carrying code. / Franz, Michael; Chandra, Deepak; Gal, Andreas; Haldar, Vivek; Probst, Christian W.; Reig, Fermin; Wang, Ning.

    In: Science of Computer Programming, Vol. 57, No. 3, 2005, p. 275-294.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

  3. Published

    Flow logic for language-based safety and security. / Hansen, René Rydhof; Nielson, Flemming (Supervisor).

    2005. (IMM-PHD-2005-143).

    Publication: ResearchPh.D. thesis – Annual report year: 2005

  4. 2004
  5. Published

    Automated Analysis of Security in Networking Systems. / Buchholtz, Mikael; Nielson, Hanne Riis (Supervisor); Nielson, Flemming (Supervisor).

    2004. (IMM-PHD-2004-141).

    Publication: ResearchPh.D. thesis – Annual report year: 2004

  6. 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-reviewJournal article – Annual report year: 2004

  7. Published

    Prototyping Proof-Carrying Code. / Wildmoser, Martin; Nipkow, Tobias; Klein, Gerwin; Nanz, Sebastian.

    Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). 2004.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2004

  8. Published

    Spatial Analysis of BioAmbients. / Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik.

    Proceedings of Static Analysis Symposium 2004 (SAS'04). Springer Verlag, 2004. p. 69-83.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2004

  9. Published

    Static Analysis of Routing Protocols for Ad-Hoc Networks. / Nanz, Sebastian; Hankin, Chris.

    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-reviewArticle in proceedings – Annual report year: 2004

  10. 2002
  11. Published

    Modular Control Flow Analysis for Libraries. / Probst, Christian W.

    Proceedings of the 9th International Symposium on Static Analysis. 2002.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

Previous 1...13 14 15 16 17 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word