1. 2017
  2. Published

    Formal Analysis of Graphical Security Models. / Aslanyan, Zaruhi; Nielson, Flemming (Supervisor); Probst, Christian W. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2017. 208 p. (DTU Compute PHD-2016; No. 421).

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

  3. Published

    Formalizing and proving a typing result for security protocols in Isabelle/HOL. / Hess, Andreas Viktor; Modersheim, Sebastian.

    Proceedings of 2017 IEEE 30th Computer Security Foundations Symposium. IEEE, 2017. p. 451-63 (I E E E Computer Security Foundations Symposium. Proceedings).

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

  4. Published

    Fraud Risk Modelling: Requirements Elicitation in the Case of Telecom Services. / Yesuf, Ahmed; Wolos, Lars Peter; Rannenberg, Kai.

    Exploring Services Science. Vol. 279 Springer, 2017. p. 323-336 (Lecture Notes in Business Information Processing, Vol. 279).

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

  5. Published

    High Performance with Prescriptive Optimization and Debugging. / Jensen, Nicklas Bo; Probst, Christian W. (Supervisor); Karlsson, Sven (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2017. 204 p. (DTU Compute PHD-2016; No. 437).

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

  6. Published

    Improving Loop Dependence Analysis. / Jensen, Nicklas Bo; Karlsson, Sven .

    In: Acm Transactions on Architecture and Code Optimization, Vol. 14, No. 3, 2017, p. 1-24.

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

  7. Published

    Information Flow for Timed Automata. / Nielson, Flemming; Nielson, Hanne Riis; Vasilikos, Panagiotis.

    Models, Algorithms, Logics and Tools. Vol. 10460 Springer, 2017. p. 3-21 (Lecture Notes in Computer Science, Vol. 10460).

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

  8. Published

    Many-to-Many Information Flow Policies. / Baldan, Paolo; Beggiato, Alessandro; Lluch Lafuente, Alberto.

    Coordination Models and Languages. Vol. 10319 Springer, 2017. p. 159-177 (Lecture Notes in Computer Science, Vol. 10319).

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

  9. Published

    Microservices: Yesterday, Today, and Tomorrow. / Dragoni, Nicola; Giallorenzo, Saverio; Lafuente, Alberto; Mazzara, Manuel; Montesi, Fabrizio; Mustafin, Ruslan; Safina, Larisa.

    In: Present and Ulterior Software Engineering, 2017, p. 195-216.

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

  10. Published

    Model checking exact cost for attack scenarios. / Aslanyan, Zaruhi; Nielson, Flemming.

    Principles of Security and Trust. Springer, 2017. p. 210-31 (Principles of Security and Trust. 6th International Conference, Post 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2017. Proceedings: Lncs 10204). (Lecture Notes in Computer science, Vol. 10204).

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

  11. Published

    Preface for the special issue on Interaction and Concurrency Experience 2015. / Lanese, Ivan; Lluch Lafuente, Alberto; Knight, Sophia; Vieira, Hugo Torres.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 86, No. 1, 2017, p. 1.

    Publication: Research - peer-reviewEditorial – Annual report year: 2017

Previous 1 2 3 4 5 6 7 8 ...16 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word