• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 2006
• 
  Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet:
  Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3956, Springer 2006, ISBN 3-540-33689-3 [contents]
• 2005
• 
  Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati:
  The Architecture of a Privacy-Aware Access Control Decision Component. CASSIS 2005: 1-15
• 
  David Aspinall, Kenneth MacKenzie:
  Mobile Resource Guarantees and Policies. CASSIS 2005: 16-36
• 
  Santiago Zanella Béguelin:
  Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. CASSIS 2005: 155-173
• 
  Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel:
  Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS 2005: 37-56
• 
  Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle:
  Romization: Early Deployment and Customization of Java Systems for Constrained Devices. CASSIS 2005: 57-76
• 
  Christopher League, Stefan Monnier:
  Typed Compilation Against Non-manifest Base Classes. CASSIS 2005: 77-98
• 
  Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
  The Design of Application-Tailorable Operating System Product Lines. CASSIS 2005: 99-117
• 
  Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani:
  Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. CASSIS 2005: 118-137
• 
  David Pichardie:
  Modular Proof Principles for Parameterised Concretizations. CASSIS 2005: 138-154
• 
  Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean:
  Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3362, Springer 2005, ISBN 3-540-24287-2 [contents]
• 2004
• 
  David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
  Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
• 
  Anindya Banerjee, David A. Naumann:
  History-Based Access Control and Secure Information Flow. CASSIS 2004: 27-48
• 
  Mike Barnett, K. Rustan M. Leino, Wolfram Schulte:
  The Spec# Programming System: An Overview. CASSIS 2004: 49-69
• 
  Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
  Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85
• 
  William R. Bush, Antony Ng, Douglas N. Simon, Bernd Mathiske:
  A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices. CASSIS 2004: 86-107
• 
  David R. Cok, Joseph Kiniry:
  ESC/Java2: Uniting ESC/Java and JML. CASSIS 2004: 108-128
• 
  Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter:
  A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
• 
  Reiner Hähnle, Wojciech Mostowski:
  Verification of Safety Properties in the Presence of Transactions. CASSIS 2004: 151-171
• 
  Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel J. Wieringa:
  Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191
• 
  Chie Noda, Thomas Walter:
  Smart Devices for Next Generation Mobile Services. CASSIS 2004: 192-209
• 
  Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby:
  A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228
• 
  Diana Toma, Dominique Borrione, Ghiath Al Sammane:
  Combining Several Paradigms for Circuit Validation and Verification. CASSIS 2004: 229-249
• 
  Jean-Jacques Vandewalle:
  Smart Card Research Perspectives. CASSIS 2004: 250-256