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

• 2019
• 
  Mohammad S. Obaidat, Pierangela Samarati:
  Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE 2019 - Volume 2: SECRYPT, Prague, Czech Republic, July 26-28, 2019. SciTePress 2019, ISBN 978-989-758-378-0 [contents]
• 2018
• 
  Pierangela Samarati, Mohammad S. Obaidat:
  Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018. SciTePress 2018, ISBN 978-989-758-319-3 [contents]
• 2017
• 
  Manuel Huber, Julian Horsch, Junaid Ali, Sascha Wessel:
  Freeze & Crypt: Linux Kernel Support for Main Memory Encryption. SECRYPT 2017: 17-30
• 
  Giulio Aliberti, Roberto Di Pietro, Stefano Guarino:
  SLAP: Secure Lightweight Authentication Protocol for Resource-constrained Devices. SECRYPT 2017: 163-174
• 
  João Amarante, João Paulo Barros:
  Exploring USB Connection Vulnerabilities on Android Devices - Breaches using the Android Debug Bridge. SECRYPT 2017: 572-577
• 
  Peter Amthor:
  Efficient Heuristic Safety Analysis of Core-based Security Policies. SECRYPT 2017: 384-392
• 
  Simone Aonzo, Giovanni Lagorio, Alessio Merlo:
  RmPerm: A Tool for Android Permissions Removal. SECRYPT 2017: 319-326
• 
  Andrea S. Atzeni, Andrea Marcelli, Francesco Muroni, Giovanni Squillero:
  HAIT: Heap Analyzer with Input Tracing. SECRYPT 2017: 327-334
• 
  Louise Axon, Michael Goldsmith:
  PB-PKI: A Privacy-aware Blockchain-based PKI. SECRYPT 2017: 311-318
• 
  Mohammed Bakiri, Jean-François Couchot, Christophe Guyeux:
  One Random Jump and One Permutation: Sufficient Conditions to Chaotic, Statistically Faultless, and Large Throughput PRNG for FPGA. SECRYPT 2017: 295-302
• 
  Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Luís Rodrigues:
  Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory. SECRYPT 2017: 43-54
• 
  José Becerra, Vincenzo Iovino, Dimiter Ostrev, Marjan Skrobot:
  On the Relation Between SIM and IND-RoR Security Models for PAKEs. SECRYPT 2017: 151-162
• 
  Sana Belguith, Nesrine Kaaniche, Maryline Laurent, Abderrazak Jemai, Rabah Attia:
  Constant-size Threshold Attribute based SignCryption for Cloud Applications. SECRYPT 2017: 212-225
• 
  Jaroslaw Bernacki, Marek Klonowski, Piotr Syga:
  Some Remarks about Tracing Digital Cameras - Faster Method and Usable Countermeasure. SECRYPT 2017: 343-350
• 
  Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb:
  Formal Analyze of a Private Access Control Protocol to a Cloud Storage. SECRYPT 2017: 495-500
• 
  Mohamed Amine Bouazzouni, Emmanuel Conchon, Fabrice Peyrard, Pierre-François Bonnefoi:
  A Card-less TEE-based Solution for Trusted Access Control. SECRYPT 2017: 456-461
• 
  Miguel Hernández Boza, Alfonso Muñoz:
  (In) Security in Graph Databases - Analysis and Data Leaks. SECRYPT 2017: 303-310
• 
  Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
  On Obfuscating Compilation for Encrypted Computing. SECRYPT 2017: 247-254
• 
  David Ortega del Campo, Cristina Conde, Ángel Serrano, Isaac Martín de Diego, Enrique Cabello:
  Face Recognition-based Presentation Attack Detection in a Two-step Segregated Automated Border Control e-Gate - Results of a Pilot Experience at Adolfo Suárez Madrid-Barajas Airport. SECRYPT 2017: 129-138
• 
  Gerardo Canfora, Giovanni Cappabianca, Pasquale Carangelo, Fabio Martinelli, Francesco Mercaldo, Ernesto Rosario Russo, Corrado Aaron Visaggio:
  Mobile Silent and Continuous Authentication using Apps Sequence. SECRYPT 2017: 79-91
• 
  Gerardo Canfora, Antonio Pirozzi, Aaron Visaggio:
  s2ipt: A Lightweight Network Intrusion Detection/Prevention System based on IPtables. SECRYPT 2017: 462-467
• 
  Jesus Diaz, David Arroyo, Francisco B. Rodríguez:
  Fair and Accountable Anonymity for the Tor Network. SECRYPT 2017: 560-565
• 
  Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch:
  Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017: 55-66
• 
  Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel:
  LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. SECRYPT 2017: 187-199
• 
  Ashutosh Dhar Dwivedi, Milos Kloucek, Pawel Morawiecki, Ivica Nikolic, Josef Pieprzyk, Sebastian Wójtowicz:
  SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition. SECRYPT 2017: 237-246
• 
  Ashutosh Dhar Dwivedi, Pawel Morawiecki, Sebastian Wójtowicz:
  Differential and Rotational Cryptanalysis of Round-reduced MORUS. SECRYPT 2017: 275-284
• 
  Ashutosh Dhar Dwivedi, Pawel Morawiecki, Sebastian Wójtowicz:
  Differential-linear and Impossible Differential Cryptanalysis of Round-reduced Scream. SECRYPT 2017: 501-506
• 
  Petr Dzurenda, Jan Hajny, Lukas Malina, Sara Ricci:
  Anonymous Credentials with Practical Revocation using Elliptic Curves. SECRYPT 2017: 534-539
• 
  Guyu Fan, Manoranjan Mohanty:
  Privacy-preserving Disease Susceptibility Test with Shamir's Secret Sharing. SECRYPT 2017: 525-533
• 
  Cyrielle Feron, Vianney Lapotre, Loïc Lagadec:
  PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes. SECRYPT 2017: 359-366

skipping 770 more matches

found ?? matches

The Semantic Scholar full-text search requires JavaScript to operate properly. To proceed, please enable JavaScript in your browser settings.

• service temporarily not available

see all matches at semanticscholar.org