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

• 2023
• 
  Hammad Afzali, Santiago Torres-Arias, Reza Curtmola, Justin Cappos:
  Towards verifiable web-based code review systems. J. Comput. Secur. 31(2): 153-184 (2023)
• 
  Anis Bkakria:
  Robust, revocable, forward and backward adaptively secure attribute-based encryption with outsourced decryption. J. Comput. Secur. 31(6): 727-760 (2023)
• 
  Stefano Calzavara, Pietro Ferrara, Claudio Lucchese:
  Certifying machine learning models against evasion attacks by program analysis. J. Comput. Secur. 31(1): 57-84 (2023)
• 
  Stefano Calzavara, David A. Naumann:
  Special issue: 35th IEEE Computer Security Symposium - CSF 2022. J. Comput. Secur. 31(5): 419-420 (2023)
• 
  Ashish R. Chaudhari, Bhavesh N. Gohil, Udai Pratap Rao:
  A review on cloud security issues and solutions. J. Comput. Secur. 31(4): 365-391 (2023)
• 
  Vincent Cheval, Raphaëlle Crubillé, Steve Kremer:
  Symbolic protocol verification with dice. J. Comput. Secur. 31(5): 501-538 (2023)
• 
  Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare:
  Secure protocols for cumulative reward maximization in stochastic multi-armed bandits. J. Comput. Secur. 31(1): 1-27 (2023)
• 
  Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg:
  Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31(5): 469-499 (2023)
• 
  Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding:
  Universal optimality and robust utility bounds for metric differential privacy. J. Comput. Secur. 31(5): 539-580 (2023)
• 
  Matt Gorbett, Caspian Siebert, Hossein Shirazi, Indrakshi Ray:
  The intrinsic dimensionality of network datasets and its applications. J. Comput. Secur. 31(6): 679-704 (2023)
• 
  Ziyang Han, Qingqing Ye, Haibo Hu:
  OTKI-F: An efficient memory-secure multi-keyword fuzzy search protocol. J. Comput. Secur. 31(2): 129-152 (2023)
• 
  Mohamed Hassaoui, Mohamed Hanini, Said El Kafhali:
  Domain generated algorithms detection applying a combination of a deep feature selection and traditional machine learning models. J. Comput. Secur. 31(1): 85-105 (2023)
• 
  Tobias Klenze, Christoph Sprenger, David A. Basin:
  IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. 31(3): 217-259 (2023)
• 
  Xiaodi Li, Latifur Khan, Mahmoud Zamani, Shamila Wickramasuriya, Kevin W. Hamlen, Bhavani Thuraisingham:
  Con2Mix: A semi-supervised method for imbalanced tabular security data. J. Comput. Secur. 31(6): 705-726 (2023)
• 
  Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks:
  A formal model of Checked C. J. Comput. Secur. 31(5): 581-614 (2023)
• 
  David Mestel, Johannes Müller, Pascal Reisert:
  How efficient are replay attacks against vote privacy? A formal quantitative analysis. J. Comput. Secur. 31(5): 421-467 (2023)
• 
  Priyanka Mondal, Maximilian Algehed, Owen Arden:
  Flow-limited authorization for consensus, replication, and secret sharing. J. Comput. Secur. 31(5): 615-645 (2023)
• 
  Anna Mpanti, Stavros D. Nikolopoulos, Leonidas Palios:
  Strong watermark numbers encoded as reducible permutation graphs against edge modification attacks. J. Comput. Secur. 31(2): 107-128 (2023)
• 
  Flávio Neves, Rafael Roque de Souza, Juliana Sousa, Michel S. Bonfim, Vinicius C. Garcia:
  Data privacy in the Internet of Things based on anonymization: A review. J. Comput. Secur. 31(3): 261-291 (2023)
• 
  Asma Salem, Ahmad Abdel-Aziz Sharieh, Riad Jabri:
  Online User Authentication System Using Keystroke Dynamics. J. Comput. Secur. 31(3): 185-215 (2023)
• 
  Diego Sempreboni, Luca Viganò:
  A mutation-based approach for the formal and automated analysis of security ceremonies. J. Comput. Secur. 31(4): 293-364 (2023)
• 
  Shamik Sural, Haibing Lu:
  Guest editors' introduction. J. Comput. Secur. 31(6): 647 (2023)
• 
  Jingzhe Wang, Balaji Palanisamy:
  Securing blockchain-based timed data release against adversarial attacks. J. Comput. Secur. 31(6): 649-677 (2023)
• 
  Kengo Zenitani:
  A scalable algorithm for network reachability analysis with cyclic attack graphs. J. Comput. Secur. 31(1): 29-55 (2023)
• 
  Jianfeng Zhang, Wensheng Zhang, Jingdong Xu:
  StegEdge: Privacy protection of unknown sensitive attributes in edge intelligence via deception. J. Comput. Secur. 31(4): 393-417 (2023)