|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![Springer, 978-3-642-27374-2 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sreekanth Malladi |
Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 205-224, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joeri de Ruiter, Erik Poll |
Formal Analysis of the EMV Protocol Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 113-129, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Henri-Charles Blondeel |
Model-Checking Secure Information Flow for Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 148-165, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Catalin Hritcu, Matteo Maffei |
Union and Intersection Types for Secure Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 1-28, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhengqin Luo, Tamara Rezk, Manuel Serrano |
Automated Code Injection Prevention for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 186-204, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Morten Dahl, Stéphanie Delaune, Graham Steel |
Formal Analysis of Privacy for Anonymous Location Based Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 98-112, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Moez Ben MBarka, Francine Krief, Olivier Ly |
Modeling Long-Term Signature Validation for Resolution of Dispute. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 78-97, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 166-185, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman |
Security Goals and Protocol Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 130-147, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier |
Secure Composition of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 29-32, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ueli Maurer |
Constructive Cryptography - A New Paradigm for Security Definitions and Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 33-56, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Matteo Maffei, Kim Pecina, Raphael M. Reischuk |
G2C: Cryptographic Protocols from Goal-Driven Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, pp. 57-77, 2011, Springer, 978-3-642-27374-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
Synchronized Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 195-210, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, Marino Miculan, Ivan Scagnetto |
The Theory of Contexts for First Order and Higher Order Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 116-135, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese |
Higher-Order Types and Meta-Programming for Global Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 52-68, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marina Lenisa, Marino Miculan |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 257-258, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Agathe Merceron, Monika Müllerburg, G. Michele Pinna |
Specifying and verifying reactive systems in a multi-language environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 244-256, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini |
A Fully Abstract Model for Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 177-194, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Michele Bugliesi, Silvia Crafa |
An overview of Boxed Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 1-6, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 69-82, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 157-176, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 229-243, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese |
XKlaim and Klava: Programming Mobile Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 24-37, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan |
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 136-156, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone |
A Type Inference Algorithm for Secure Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 83-101, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Comparative analysis of the expressiveness of shared dataspace coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 102-115, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Towards Object-Oriented Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 38-51, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 211-228, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Cryptographic Analysis in Cubic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 7-23, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|