|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 61 occurrences of 46 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu |
Verified Cryptographic Implementations for TLS.  |
ACM Trans. Inf. Syst. Secur.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
Refinement types for secure implementations. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon |
Cryptographic Verification by Typing for a Sample Protocol Implementation. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
Secure distributed programming with value-dependent types. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Modular verification of security protocol code by typing. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
f7, refinement type |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts |
Typechecking Higher-Order Security Libraries. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer |
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
multiparty sessions, cryptography, type systems, ML |
| 1 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon |
A compositional theory for STM Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
| 1 | Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer |
A secure compiler for session abstractions. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verifying policy-based web services security. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, pi calculus, XML security |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse |
Verified interoperable implementations of security protocols. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, Functional programming, pi calculus, XML security |
| 1 | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
Refinement Types for Secure Implementations. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy |
Verified implementations of the information card federated identity-management protocol. |
ASIACCS |
2008 |
DBLP DOI BibTeX RDF |
cryptographic protocol verification, verified implementations, web services security, federated identity management, CardSpace |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu |
Cryptographically verified implementations for TLS. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
verified implementations, authentication, cryptographic protocols, SSL, TLS, secrecy |
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon |
Secure sessions for Web services. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
Web services, XML security |
| 1 | Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer |
Secure Implementations for Typed Session Abstractions. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verified Reference Implementations of WS-Security Protocols. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse |
Verified Interoperable Implementations of Security Protocols. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
A semantics for web services authentication. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter |
Network Event Recognition. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
correctness of implementations, languages for network protocols, network event recognition, NERL, Network monitoring, protocol verification, formal analysis |
| 1 | Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan |
Brief announcement: exploring the consistency problem space. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
pessimistic replication, semantic consistency, consistency, replicated data, optimistic replication, weak consistency, strong consistency, partial replication |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea |
An advisor for web services security policies. |
SWS |
2005 |
DBLP DOI BibTeX RDF |
policy-driven security, web services, WS-security, XML security |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella |
TulaFale: A Security Tool for Web Services |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
A semantics for web services authentication. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
web services, XML security, applied pi calculus |
| 1 | Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna |
A Constraint-Based Formalism for Consistency in Replicated Systems. |
OPODIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon |
Secure sessions for web services. |
SWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verifying policy-based security for web services. |
ACM Conference on Computer and Communications Security |
2004 |
DBLP DOI BibTeX RDF |
web services, pi calculus, XML security |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella |
TulaFale: A Security Tool for Web Services. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
Verisim: Formal Analysis of Network Simulations. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS |
| 1 | Karthikeyan Bhargavan, Carl A. Gunter |
Requirements for a Practical Network Event Recognition Language. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter |
Formal verification of standards for distance vector routing protocols. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
distance vector routing, network standards, model checking, Formal verification, routing protocols, AODV, SPIN, interactive theorem proving, HOL, RIP |
| 1 | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |
What packets may come: automata for network monitoring. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
TCP/IP |
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
Verisim: Formal analysis of network simulations. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic |
Routing Information Protocol in HOL/SPIN. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic |
Fault origin adjudication. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave |
The Village Telephone System: A Case Study in Formal Software Engineering. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")