We gratefully acknowledge support from
the Simons Foundation and member institutions.

Cryptography and Security

Authors and titles for recent submissions, skipping first 17

[ total of 104 entries: 1-10 | 8-17 | 18-27 | 28-37 | 38-47 | 48-57 | ... | 98-104 ]
[ showing 10 entries per page: fewer | more | all ]

Wed, 22 May 2024 (continued, showing last 1 of 18 entries)

[18]  arXiv:2405.12553 (cross-list from stat.ML) [pdf, other]
Title: Uncertainty quantification by block bootstrap for differentially private stochastic gradient descent
Authors: Holger Dette, Carina Graw
Subjects: Machine Learning (stat.ML); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Statistics Theory (math.ST); Computation (stat.CO)

Tue, 21 May 2024 (showing first 9 of 47 entries)

[19]  arXiv:2405.12197 [pdf, ps, other]
Title: Automated Hardware Logic Obfuscation Framework Using GPT
Authors: Banafsheh Saber Latibari, Sujan Ghimire, Muhtasim Alam Chowdhury, Najmeh Nazari, Kevin Immanuel Gubbi, Houman Homayoun, Avesta Sasan, Soheil Salehi
Subjects: Cryptography and Security (cs.CR)
[20]  arXiv:2405.12187 [pdf, ps, other]
Title: Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
Authors: Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
Subjects: Cryptography and Security (cs.CR)
[21]  arXiv:2405.12177 [pdf, other]
Title: Establishing Trust in the Beyond-5G Core Network using Trusted Execution Environments
Authors: Marinos Vomvas, Norbert Ludant, Guevara Noubir
Comments: 18 pages, 8 figures
Subjects: Cryptography and Security (cs.CR)
[22]  arXiv:2405.12115 [pdf, other]
Title: Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler
Authors: Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits
Subjects: Cryptography and Security (cs.CR)
[23]  arXiv:2405.12104 [pdf, ps, other]
Title: Deciding branching hyperproperties for real time systems
Authors: Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[24]  arXiv:2405.12076 [pdf, other]
Title: GAN-GRID: A Novel Generative Attack on Smart Grid Stability Prediction
Authors: Emad Efatinasab, Alessandro Brighente, Mirco Rampazzo, Nahal Azadi, Mauro Conti
Subjects: Cryptography and Security (cs.CR); Signal Processing (eess.SP)
[25]  arXiv:2405.12043 [pdf, other]
Title: The Incoherency Risk in the EU's New Cyber Security Policies
Authors: Jukka Ruohonen
Comments: Submitted
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)
[26]  arXiv:2405.12042 [pdf, other]
Title: Attribute-Based Authentication in Secure Group Messaging for Distributed Environments
Authors: David Soler (1), Carlos Dafonte (1), Manuel Fernández-Veiga (2), Ana Fernández Vilas (2), Francisco J. Nóvoa (1) ((1) CITIC, Universidade da Coruňa, A Coruňa, Spain, (2) atlanTTic, Universidade de Vigo, Vigo, Spain)
Comments: Submitted to IEEE Transactions on Dependable and Secure Computing This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Cryptography and Security (cs.CR)
[27]  arXiv:2405.11987 [pdf, ps, other]
Title: On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
Authors: Ugo Dal Lago, Davide Davoli, Bruce M. Kapron
Comments: to be published in CSF'24
Subjects: Cryptography and Security (cs.CR)
[ total of 104 entries: 1-10 | 8-17 | 18-27 | 28-37 | 38-47 | 48-57 | ... | 98-104 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2405, contact, help  (Access key information)