Search Results - Basin, David

Refine Results
  1. 1
    Monitoring Metric First-Order Temporal Properties

    Monitoring Metric First-Order Temporal Properties by Basin, David, Klaedtke, Felix, Müller, Samuel, Zălinescu, Eugen

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    CryptHOL: Game-Based Proofs in Higher-Order Logic

    CryptHOL: Game-Based Proofs in Higher-Order Logic by Basin, David A., Lochbihler, Andreas, Sefidgar, S. Reza

    Published in Journal of cryptology
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Efficient Evaluation of Arbitrary Relational Calculus Queries

    Efficient Evaluation of Arbitrary Relational Calculus Queries by Raszyk, Martin, Basin, David, Krstić, Srđan, Traytel, Dmitriy

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Automatically deriving information-theoretic bounds for adaptive side-channel attacks

    Automatically deriving information-theoretic bounds for adaptive side-channel attacks by Köpf, Boris, Basin, David

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Provably repairing the ISO/IEC 9798 standard for entity authentication1

    Provably repairing the ISO/IEC 9798 standard for entity authentication1 by Basin, David, Cremers, Cas, Meier, Simon

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Refining security protocols

    Refining security protocols by Sprenger, Christoph, Basin, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    IsaNet: A framework for verifying secure data plane protocols

    IsaNet: A framework for verifying secure data plane protocols by Klenze, Tobias, Sprenger, Christoph, Basin, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Topology dynamics and routing for predictable mobile networks

    Topology dynamics and routing for predictable mobile networks by Fischer, D., Basin, D., Engel, T.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    The EMV Standard: Break, Fix, Verify

    The EMV Standard: Break, Fix, Verify by Basin, David, Sasse, Ralf, Toro-Pozo, Jorge

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Optimal security-aware query processing

    Optimal security-aware query processing by Guarnieri, Marco, Basin, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Proactive enforcement of provisions and obligations

    Proactive enforcement of provisions and obligations by Basin, David, Debois, Søren, Hildebrandt, Thomas

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    User-Controlled Privacy: Taint, Track, and Control

    User-Controlled Privacy: Taint, Track, and Control by Hublet, François, Basin, David, Krstić, Srđan

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Model-driven Privacy

    Model-driven Privacy by Krstic, Srdan, Nguyen, Hoang, Basin, David

    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    IsoVista: Black-Box Checking Database Isolation Guarantees

    IsoVista: Black-Box Checking Database Isolation Guarantees by Gu, Long, Liu, Si, Xing, Tiancheng, Wei, Hengfeng, Chen, Yuxing, Basin, David

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    SSL/TLS Session-Aware User Authentication

    SSL/TLS Session-Aware User Authentication by Oppliger, R., Hauser, R., Basin, D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Fixing the Achilles Heel of E-Voting: The Bulletin Board

    Fixing the Achilles Heel of E-Voting: The Bulletin Board by Hirschi, Lucca, Schmid, Lara, Basin, David

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    OFMC: A symbolic model checker for security protocols

    OFMC: A symbolic model checker for security protocols by Basin, David, Mödersheim, Sebastian, Viganò, Luca

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Provably repairing the ISO/IEC 9798 standard for entity authentication

    Provably repairing the ISO/IEC 9798 standard for entity authentication by Basin, David, Cremers, Cas, Meier, Simon

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Alethea: A Provably Secure Random Sample Voting Protocol

    Alethea: A Provably Secure Random Sample Voting Protocol by Basin, David, Radomirovic, Sasa, Schmid, Lara

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Model driven security: From UML models to access control infrastructures

    Model driven security: From UML models to access control infrastructures by Basin, David, Doser, Jürgen, Lodderstedt, Torsten

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

Search Tools: