E-LIB Suche - Ergebnisse für: Corin, Ricardo

1

Verified Cryptographic Implementations for TLS:

Bhargavan, Karthikeyan ; Fournet, Cédric ; Corin, Ricardo.
ACM Transactions on Information and System Security (TISSEC). 15 (2012) 1 - p. 1-32 , 2012

Link: https://dl.acm.org/doi/1..

2

Verified Cryptographic Implementations for TLS:

Bhargavan, Karthikeyan ; Fournet, Cédric ; Corin, Ricardo.
ACM Transactions on Information and System Security. 15 (2012) 1 - p. 1-32 , 2012

Link: https://doi.org/10.1145/..

3

Efficient symbolic execution for analysing cryptographic pr..:

, In: Proceedings of the Third international conference on Engineering secure software and systems,

Corin, Ricardo ; Manzano, Andrés - p. 58-72 , 2011

Link: https://dl.acm.org/doi/1..

4

Efficient Symbolic Execution for Analysing Cryptographic Pr..:

, In: Lecture Notes in Computer Science; Engineering Secure Software and Systems,

Corin, Ricardo ; Manzano, Felipe Andrés - p. 58-72 , 2011

Link: https://doi.org/10.1007/..

5

Cryptographically verified implementations for TLS:

, In: Proceedings of the 15th ACM conference on Computer and communications security,

Bhargavan, Karthikeyan ; Fournet, Cédric ; Corin, Ricardo. - p. 459-468 , 2008

Link: https://dl.acm.org/doi/1..

6

Secure sessions for Web services:

Bhargavan, Karthikeyan ; Corin, Ricardo ; Fournet, Cédric.
ACM Transactions on Information and System Security (TISSEC). 10 (2007) 2 - p. 8-es , 2007

Link: https://dl.acm.org/doi/1..

7

Secure sessions for Web services:

Bhargavan, Karthikeyan ; Corin, Ricardo ; Fournet, Cédric.
ACM Transactions on Information and System Security. 10 (2007) 2 - p. 8 , 2007

Link: https://doi.org/10.1145/..

8

LicenseScript: a logical language for digital rights manage..:

Chong, Cheun Ngen ; Corin, Ricardo ; Doumen, Jeroen...
annals of telecommunications - annales des télécommunications. 61 (2006) 3-4 - p. 284-331 , 2006

Link: https://doi.org/10.1007/..

9

Analysing Password Protocol Security Against Off-line Dicti..:

Corin, Ricardo ; Doumen, Jeroen ; Etalle, Sandro
Electronic Notes in Theoretical Computer Science. 121 (2005) - p. 47-63 , 2005

Link: https://doi.org/10.1016/..

10

A Trace Logic for Local Security Properties:

Corin, Ricardo ; Etalle, Sandro ; Hartel, Pieter.
Electronic Notes in Theoretical Computer Science. 118 (2005) - p. 129-143 , 2005

Link: https://doi.org/10.1016/..

11

Secure sessions for web services:

, In: Proceedings of the 2004 workshop on Secure web service,

Bhargavan, Karthikeyan ; Corin, Ricardo ; Fournet, Cédric. - p. 56-66 , 2004

Link: https://dl.acm.org/doi/1..

12

Verified Cryptographic Implementations for TLS:

Bhargavan, Karthikeyan ; Corin, Ricardo ; Fournet, Cédric.
info:eu-repo/semantics/altIdentifier/doi/10.1145/2133375.2133378. , 2012

Link: https://hal.inria.fr/hal..

13

Secure Implementations for Typed Session Abstractions:

Corin, Ricardo ; Deniélou, Pierre-Malo ; Fournet, Cédric..
http://doc.utwente.nl/67073/1/04271648.pdf. , 2007

Link: http://purl.utwente.nl/p..

14

LicenseScript : a logical language for digital rights manag..:

Chong, Cheun Ngen ; Corin, Ricardo ; Doumen, Jeroen...
http://doc.utwente.nl/57013/1/00000122.pdf. , 2005

Link: http://purl.utwente.nl/p..

15

On the quest for impartiality: design and analysis of a fai..:

Cederquist, Jan ; Corin, Ricardo ; Dashti, Muhammad Torabi
http://doc.utwente.nl/57031/1/00000138.pdf. , 2005

Link: http://purl.utwente.nl/p..