本日紹介した論文の一覧
Automated Hardware Logic Obfuscation Framework Using GPT
http://arxiv.org/abs/2405.12197v1
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write
Revocation
http://arxiv.org/abs/2405.12187v1
Establishing Trust in the Beyond-5G Core Network using Trusted Execution
Environments
http://arxiv.org/abs/2405.12177v1
Insecurity of Quantum Two-Party Computation with Applications to
Cheat-Sensitive Protocols and Oblivious Transfer Reductions
http://arxiv.org/abs/2405.12121v1
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving
Optimizing Compiler
http://arxiv.org/abs/2405.12115v1
Deciding branching hyperproperties for real time systems
http://arxiv.org/abs/2405.12104v1
Noise-tolerant learnability of shallow quantum circuits from statistics
and the cost of quantum pseudorandomness
http://arxiv.org/abs/2405.12085v1
GAN-GRID: A Novel Generative Attack on Smart Grid Stability Prediction
http://arxiv.org/abs/2405.12076v1
The Incoherency Risk in the EU's New Cyber Security Policies
http://arxiv.org/abs/2405.12043v1
Attribute-Based Authentication in Secure Group Messaging for Distributed
Environments
http://arxiv.org/abs/2405.12042v1
On Separation Logic, Computational Independence, and Pseudorandomness
(Extended Version)
http://arxiv.org/abs/2405.11987v1
Information Leakage from Embedding in Large Language Models
http://arxiv.org/abs/2405.11916v1
Post-Quantum Security: Origin, Fundamentals, and Adoption
http://arxiv.org/abs/2405.11885v1
Understanding crypter-as-a-service in a popular underground marketplace
http://arxiv.org/abs/2405.11876v1
Multi-speaker Text-to-speech Training with Speaker Anonymized Data
http://arxiv.org/abs/2405.11767v1
Token-wise Influential Training Data Retrieval for Large Language Models
http://arxiv.org/abs/2405.11724v1
Decentralized Privacy Preservation for Critical Connections in Graphs
http://arxiv.org/abs/2405.11713v1
なお、ポッドキャスト内で紹介する内容は、各論文の概要を日本語で解説したもので、論文概要の著作権は論文著者に帰属します。
]]>