|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Mödersheim, Catuscia Palamidessi (eds.) |
Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers  |
TOSCA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sreekanth Malladi |
Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joeri de Ruiter, Erik Poll |
Formal Analysis of the EMV Protocol Suite. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Henri-Charles Blondeel |
Model-Checking Secure Information Flow for Multi-threaded Programs. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes 0001, Catalin Hritcu, Matteo Maffei |
Union and Intersection Types for Secure Protocol Implementations. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengqin Luo, Tamara Rezk, Manuel Serrano |
Automated Code Injection Prevention for Web Applications. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Dahl, Stéphanie Delaune, Graham Steel |
Formal Analysis of Privacy for Anonymous Location Based Services. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez Ben MBarka, Francine Krief, Olivier Ly |
Modeling Long-Term Signature Validation for Resolution of Dispute. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard |
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Security Goals and Protocol Transformations. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier |
Secure Composition of Protocols. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ueli Maurer |
Constructive Cryptography - A New Paradigm for Security Definitions and Proofs. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes 0001, Matteo Maffei, Kim Pecina, Raphael M. Reischuk |
G2C: Cryptographic Protocols from Goal-Driven Specifications. |
TOSCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina Lenisa, Marino Miculan (eds.) |
Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001 |
TOSCA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
Synchronized Regular Expressions. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Furio Honsell, Marino Miculan, Ivan Scagnetto |
The Theory of Contexts for First Order and Higher Order Abstract Syntax. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese |
Higher-Order Types and Meta-Programming for Global Computing. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina Lenisa, Marino Miculan |
Preface. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agathe Merceron, Monika Müllerburg, G. Michele Pinna |
Specifying and verifying reactive systems in a multi-language environment. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Coppo, Mariangiola Dezani-Ciancaglini |
A Fully Abstract Model for Mobile Ambients. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Michele Bugliesi, Silvia Crafa |
An overview of Boxed Ambients. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca |
A type preserving translation of Fickle into Java. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters |
Comparing cospan-spans and tiles via a Hoare-style process calculus. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Formal Models of Timing Attacks on Web Privacy. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese |
XKlaim and Klava: Programming Mobile Code. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan |
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone |
A Type Inference Algorithm for Secure Ambients. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Comparative analysis of the expressiveness of shared dataspace coordination. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Towards Object-Oriented Klaim. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Cryptographic Analysis in Cubic Time. |
TOSCA |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license