logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
P

PROVABLE AND PRACTICAL SECURITY, PROVSEC 2025

IF
Papers22
Citations
Journal Papers 22
Publication Date
delete
An Empirical Study of Variation of Blockchain to Address the Issue of Verification and Validation
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBiswas, Joya; Jania, Rutaban; Hossain, Jahid; Ferdous, Mohammad Farhan; Mahmud, Shakik; Chen, Jiageng; Mazumder, Rashed
deleteShare
deleteSave
Claimable Multi-designated Verifier Signature
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFujita, Yuuki; Hara, Keisuke; Yamashita, Kyosuke
deleteShare
deleteSave
Many-Time Linkable Ring Signatures
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete1
PREAI
deleteTran, Nam; Nguyen, Khoa; Liu, Dongxi; Pieprzyk, Josef; Susilo, Willy
deleteShare
deleteSave
Source Code Guardrail: AI Driven Solution to Distinguish Critical vs. Generic Code for Enterprise LLM Security
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSharma, Raghav; Gupta, Amit
deleteShare
deleteSave
Dynamic Self-feedback Mechanism for Improved Privacy Budgeting in LDP-SGD
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHe, Bingchang; Miyaji, Atsuko
deleteShare
deleteSave
DHABI FRAMEWORK: A Hybrid Approach to Overcoming Resistance Against Statistical Cryptanalysis and Side-Channel Analysis
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRamesh, Sumesh Manjunath; Lkhzaimi, Hoda A.
deleteShare
deleteSave
Electrum: UC Fail-Stop Server-Supported Signatures
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSnetkov, Nikita; Vakarjuk, Jelizaveta; Laud, Peeter
deleteShare
deleteSave
An Attack to Universally Composable Commitments from Malicious Physically Uncloneable Functions and How to Avoid It
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAbecasis, Lourenco; Mateus, Paulo; Vlachou, Chrysoula
deleteShare
deleteSave
Privacy-Preserving LLM Agent for Multi-modal Health Monitoring
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXie, Qipeng; Wu, Jiafei; Wang, Weiyu; Lian, Zhuotao; Yuan, Mu; Shuai, Xian; Wang, Weizheng; Yuan Haoyi; Hu, Haibo; Wu, Kaishun
deleteShare
deleteSave
GenDetect: Generative Large Language Model Usage in Smart Contract Vulnerability Detection
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteInce, Peter; Yu, Jiangshan; Liu, Joseph K.; Du, Xiaoning; Luo, Xiapu
deleteShare
deleteSave
AdvPurge: A Robust Personalized Federated Learning Framework Against Backdoor Attack
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHuang, Tu; Ruan, Na
deleteShare
deleteSave
POSTER: Tricking LLM-Based NPCs into Spilling Secrets
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShiomi, Kyohei; Lian, Zhuotao; Nakanishi, Toru; Kitasuka, Teruaki
deleteShare
deleteSave
Proposal of An SVP Solver on Prime Cyclotomic Lattices
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteToda, Kazutaka; Wang, Yuntao
deleteShare
deleteSave
Improved Constant-Time Modular Inversion
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKuramoto, Shogo; Miyaji, Atsuko
deleteShare
deleteSave
POSTER: An Efficient Sieve Algorithm for Ideal Lattices
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWang, Yuntao; Toda, Kazutaka
deleteShare
deleteSave
Logarithmic-Size Ring Signatures with Tight Security from the DL Assumption
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHara, Keisuke; Tezuka, Masayuki
deleteShare
deleteSave
More Practical Non-interactive Encrypted Conjunctive Search with Leakage and Storage Suppression
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHuu Ngoc Duc Nguyen; Cui, Shujie; Lai, Shangqi; Yuen, Tsz Hon; Liu, Joseph K.
deleteShare
deleteSave
A Deep Reinforcement Learning Framework for Robust Maritime Collision Avoidance Under GPS Spoofing
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDing, Ying; Meng, Weizhi; He, Shaoming; Li, Wenjuan
deleteShare
deleteSave
Network Intrusion Detection System Based on Reinforcement Learning Technique Optimization
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRuensukont, Sukkarin; Sumonkayothin, Karin; Siritanawan, Prarinya; Hnoohom, Narit; Saennam, Setthawhut; Beuran, Razvan
deleteShare
deleteSave
Lattice-Based Certificateless Encryption with Keyword Search
deletePROVABLE AND PRACTICAL SECURITY, PROVSEC 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHe, Minghui; Lin, Zesheng; Li, Hongbo; Chen, Xinjian; Huang, Qiong
deleteShare
deleteSave