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

• 2015
• 
  Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann:
  Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. ProvSec 2015: 85-104
• 
  Xavier Boyen, Qinyi Li:
  Attribute-Based Encryption for Finite Automata from LWE. ProvSec 2015: 247-267
• 
  Suvradip Chakraborty, Goutam Paul, C. Pandu Rangan:
  Forward-Secure Authenticated Symmetric Key Exchange Protocol: New Security Model and Secure Construction. ProvSec 2015: 149-166
• 
  Donghoon Chang, Sumesh Manjunath R., Somitra Kumar Sanadhya:
  PPAE: Practical Parazoa Authenticated Encryption Family. ProvSec 2015: 198-211
• 
  Ji-Jian Chin, Hiroaki Anada, Syh-Yuan Tan:
  Reset-Secure Identity-Based Identification Schemes Without Pairings. ProvSec 2015: 227-246
• 
  Karim Dahmani, Mahjoub Langar, Riadh Robbana:
  A Formal Dynamic Verification of Choreographed Web Services Conversations. ProvSec 2015: 340-353
• 
  Pratish Datta, Ratna Dutta, Sourav Mukhopadhyay:
  Functional Signcryption: Notion, Construction, and Applications. ProvSec 2015: 268-288
• 
  Bernardo Machado David, Rafael Dowsley, Raj S. Katti, Anderson C. A. Nascimento:
  Efficient Unconditionally Secure Comparison and Privacy Preserving Machine Learning Classification Protocols. ProvSec 2015: 354-367
• 
  Sumit Kumar Debnath, Ratna Dutta:
  Efficient Private Set Intersection Cardinality in the Presence of Malicious Adversaries. ProvSec 2015: 326-339
• 
  David Derler, Daniel Slamanig:
  Rethinking Privacy for Extended Sanitizable Signatures and a Black-Box Construction of Strongly Private Schemes. ProvSec 2015: 455-474
• 
  Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade, Tobias Nilges:
  From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions. ProvSec 2015: 23-42
• 
  Mohammad Etemad, Alptekin Küpçü:
  Efficient Key Authentication Service for Secure End-to-End Communications. ProvSec 2015: 183-197
• 
  Per A. Hallgren, Martín Ochoa, Andrei Sabelfeld:
  BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields. ProvSec 2015: 291-309
• 
  Noboru Kunihiro:
  An Improved Attack for Recovering Noisy RSA Secret Keys and Its Countermeasure. ProvSec 2015: 61-81
• 
  Bei Liang, Hongda Li, Jinyong Chang:
  Constrained Verifiable Random Functions from Indistinguishability Obfuscation. ProvSec 2015: 43-60
• 
  Yusuke Naito:
  Full PRF-Secure Message Authentication Code Based on Tweakable Block Cipher. ProvSec 2015: 167-182
• 
  Shiuan-Tzuo Shen, Amir Rezapour, Wen-Guey Tzeng:
  Unique Signature with Short Output from CDH Assumption. ProvSec 2015: 475-488
• 
  Kazumasa Shinagawa, Takaaki Mizuki, Jacob C. N. Schuldt, Koji Nuida, Naoki Kanayama, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto:
  Multi-party Computation with Small Shuffle Complexity Using Regular Polygon Cards. ProvSec 2015: 127-146
• 
  Maciej Skorski:
  On Provable Security of wPRF-Based Leakage-Resilient Stream Ciphers. ProvSec 2015: 391-411
• 
  Katsuyuki Takashima, Atsushi Takayasu:
  Tighter Security for Efficient Lattice Cryptography via the Rényi Divergence of Optimized Orders. ProvSec 2015: 412-431
• 
  Serge Vaudenay:
  On Privacy for RFID. ProvSec 2015: 3-20
• 
  Serge Vaudenay:
  Sound Proof of Proximity of Knowledge. ProvSec 2015: 105-126
• 
  Zhiwei Wang, Siu-Ming Yiu:
  Attribute-Based Encryption Resilient to Auxiliary Input. ProvSec 2015: 371-390
• 
  Yohei Watanabe, Junji Shikata:
  Constructions of Unconditionally Secure Broadcast Encryption from Key Predistribution Systems with Trade-Offs Between Communication and Storage. ProvSec 2015: 489-502
• 
  Xu Yang, Wei Wu, Joseph K. Liu, Xiaofeng Chen:
  Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach. ProvSec 2015: 215-226
• 
  Yong Yu, Yafang Zhang, Yi Mu, Willy Susilo, Hongyu Liu:
  Provably Secure Identity Based Provable Data Possession. ProvSec 2015: 310-325
• 
  Zongyang Zhang, Yu Chen, Sherman S. M. Chow, Goichiro Hanaoka, Zhenfu Cao, Yunlei Zhao:
  Black-Box Separations of Hash-and-Sign Signatures in the Non-Programmable Random Oracle Model. ProvSec 2015: 435-454
• 
  Man Ho Au, Atsuko Miyaji:
  Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9451, Springer 2015, ISBN 978-3-319-26058-7 [contents]