Suchergebnisse - MARTIN ABADI

1

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication von Abadi, Martín, Blanchet, Bruno, Fournet, Cédric

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Reconciling two views of cryptography (The computational soundness of formal encryption) von ABADI, Martin, ROGAWAY, Phillip

Veröffentlicht in Journal of cryptology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Understanding TypeScript von Bierman, Gavin, Abadi, Martín, Torgersen, Mads

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Analyzing security protocols with secrecy types and logic programs von ABADI, Martin, BLANCHET, Bruno

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Private authentication von Abadi, Martı́n, Fournet, Cédric

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Timely Rollback: Specification and Verification von Abadi, Martín, Isard, Michael

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble... von Abadi, Martin, Kremer, Steve

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Computer-assisted verification of a protocol for certified email von Abadi, Martín, Blanchet, Bruno

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Secrecy types for asymmetric communication von Abadi, Martín, Blanchet, Bruno

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

On Protection by Layout Randomization von Abadi, Martín, Plotkin, Gordon

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Guessing attacks and the computational soundness of static equivalence von Baudet, Mathieu, Warinschi, Bogdan, Abadi, Martín

Veröffentlicht in Journal of computer security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

A model of dynamic separation for transactional memory von Abadi, Martín, Harris, Tim, Moore, Katherine F.

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Secure Implementation of Channel Abstractions von Abadi, Martı́n, Fournet, Cédric, Gonthier, Georges

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Models and Proofs of Protocol Security: A Progress Report von Abadi, Martín, Blanchet, Bruno, Comon-Lundh, Hubert

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Computer-assisted verification of a protocol for certified email von Abadi, Martín, Blanchet, Bruno

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Variations in Access Control Logic von Abadi, Martín

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

On SDSI’s linked local name spaces von Abadi, Martín

Veröffentlicht in Journal of computer security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Guessing Attacks and the Computational Soundness of Static Equivalence von Abadi, Martín, Baudet, Mathieu, Warinschi, Bogdan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

BCiC: A System for Code Authentication and Verification von Whitehead, Nathan, Abadi, Martín

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Formal Analysis of a Distributed Algorithm for Tracking Progress von Abadi, Martín, McSherry, Frank, Murray, Derek G., Rodeheffer, Thomas L.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[19]

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication von Abadi, Martín, Blanchet, Bruno, Fournet, Cédric

Reconciling two views of cryptography (The computational soundness of formal encryption) von ABADI, Martin, ROGAWAY, Phillip

Understanding TypeScript von Bierman, Gavin, Abadi, Martín, Torgersen, Mads

Analyzing security protocols with secrecy types and logic programs von ABADI, Martin, BLANCHET, Bruno

Private authentication von Abadi, Martı́n, Fournet, Cédric

Timely Rollback: Specification and Verification von Abadi, Martín, Isard, Michael

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble... von Abadi, Martin, Kremer, Steve

Computer-assisted verification of a protocol for certified email von Abadi, Martín, Blanchet, Bruno

Secrecy types for asymmetric communication von Abadi, Martín, Blanchet, Bruno

On Protection by Layout Randomization von Abadi, Martín, Plotkin, Gordon

Guessing attacks and the computational soundness of static equivalence von Baudet, Mathieu, Warinschi, Bogdan, Abadi, Martín

A model of dynamic separation for transactional memory von Abadi, Martín, Harris, Tim, Moore, Katherine F.

Secure Implementation of Channel Abstractions von Abadi, Martı́n, Fournet, Cédric, Gonthier, Georges

Models and Proofs of Protocol Security: A Progress Report von Abadi, Martín, Blanchet, Bruno, Comon-Lundh, Hubert

Computer-assisted verification of a protocol for certified email von Abadi, Martín, Blanchet, Bruno

Variations in Access Control Logic von Abadi, Martín

On SDSI’s linked local name spaces von Abadi, Martín

Guessing Attacks and the Computational Soundness of Static Equivalence von Abadi, Martín, Baudet, Mathieu, Warinschi, Bogdan

BCiC: A System for Code Authentication and Verification von Whitehead, Nathan, Abadi, Martín

Formal Analysis of a Distributed Algorithm for Tracking Progress von Abadi, Martín, McSherry, Frank, Murray, Derek G., Rodeheffer, Thomas L.

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle