Search Results - Buchholtz, Mikael

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Static validation of security protocols

    Static validation of security protocols by Bodei, Chiara, Buchholtz, Mikael, Degano, Pierpaolo, Nielson, Flemming, Nielson, Hanne Riis

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A calculus for control flow analysis of security protocols

    A calculus for control flow analysis of security protocols by Buchholtz, Mikael, Riis Nielson, Hanne, Nielson, Flemming

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Securing Statically-verified Communications Protocols Against Timing Attacks

    Securing Statically-verified Communications Protocols Against Timing Attacks by Buchholtz, Mikael, Gilmore, Stephen, Hillston, Jane, Nielson, Flemming

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Towards a Process Algebra for Shared Processors

    Towards a Process Algebra for Shared Processors by Buchholtz, Mikael, Andersen, Jacob, Løvengreen, Hans Henrik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Performance Evaluation of Security Protocols Specified in LySa

    Performance Evaluation of Security Protocols Specified in LySa by Bodei, Chiara, Curti, Michele, Degano, Pierpaolo, Buchholtz, Mikael, Nielson, Flemming, Riis Nielson, Hanne, Priami, Corrado

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: