• 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 15 matches

• 2010
• 
  Musard Balliu, Isabella Mastroeni:
  A Weakest Precondition Approach to Robustness. Trans. Comput. Sci. 10: 261-297 (2010)
• 
  Siddhartha Chhabra, Yan Solihin:
  Green Secure Processors: Towards Power-Efficient Secure Processor Design. Trans. Comput. Sci. 10: 329-351 (2010)
• 
  Luca Compagna, Paul El Khoury, Fabio Massacci, Ayda Saïdane:
  A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application. Trans. Comput. Sci. 10: 1-24 (2010)
• 
  Malay Kishore Dutta, Vinay K. Pathak, Phalguni Gupta:
  An Adaptive Robust Watermarking Algorithm for Audio Signals Using SVD. Trans. Comput. Sci. 10: 131-153 (2010)
• 
  Thomas Eisenbarth, Christof Paar, Björn Weghenkel:
  Building a Side Channel Based Disassembler. Trans. Comput. Sci. 10: 78-99 (2010)
• 
  Reouven Elbaz, Lionel Torres, Gilles Sassatelli, Pierre Guillemin, Michel Bardouillet, Albert Martinez:
  Block-Level Added Redundancy Explicit Authentication for Parallelized Encryption and Integrity Checking of Processor-Memory Transactions. Trans. Comput. Sci. 10: 231-260 (2010)
• 
  Jia Fan, Yuliang Zheng, Xiaohu Tang:
  Signcryption with Non-interactive Non-repudiation without Random Oracles. Trans. Comput. Sci. 10: 202-230 (2010)
• 
  Dario Fiore, Rosario Gennaro:
  Identity-Based Key Exchange Protocols without Pairings. Trans. Comput. Sci. 10: 42-77 (2010)
• 
  Willi Geiselmann, Kenneth Matheis, Rainer Steinwandt:
  PET SNAKE: A Special Purpose Architecture to Implement an Algebraic Attack in Hardware. Trans. Comput. Sci. 10: 298-328 (2010)
• 
  Siv Hilde Houmb, Indrakshi Ray, Indrajit Ray, Sudip Chakraborty:
  Trust-Based Security Level Evaluation Using Bayesian Belief Networks. Trans. Comput. Sci. 10: 154-186 (2010)
• 
  Timo Kasper, David F. Oswald, Christof Paar:
  A Versatile Framework for Implementation Attacks on Cryptographic RFIDs and Embedded Devices. Trans. Comput. Sci. 10: 100-130 (2010)
• 
  Ehsan Malekian, Ali Zakerolhosseini:
  NTRU-Like Public Key Cryptosystems beyond Dedekind Domain up to Alternative Algebra. Trans. Comput. Sci. 10: 25-41 (2010)
• 
  Johanna Sepúlveda, Ricardo Pires, Marius Strum, Jiang Chau Wang:
  Implementation of QoSS (Quality-of-Security Service) for NoC-Based SoC Protection. Trans. Comput. Sci. 10: 187-201 (2010)
• 
  Sung-Ming Yen, Kuo-Zhe Chiou, Je Zhang, Po-Han Lee:
  A New Peer-to-Peer Micropayment Protocol Based on Transferable Debt Token. Trans. Comput. Sci. 10: 352-363 (2010)
• 
  Marina L. Gavrilova, Chih Jeng Kenneth Tan, Edward D. Moreno:
  Transactions on Computational Science X - Special Issue on Security in Computing, Part I. Lecture Notes in Computer Science 6340, Springer 2010, ISBN 978-3-642-17498-8 [contents]