yusuke1997/dblp-id-title huggingface dataset:
SVP: A Flexible Micropayment Scheme
Measuring Ethereum-Based ERC20 Token Networks
Assessment of Effectiveness of Counterfeit Transaction Detection Systems for Smart Card Based Electronic Cash
SeDiCi: An Authentication Service Taking Advantage of Zero-Knowledge Proofs
Lost in Transmission: Investigating Filtering of COVID-19 Websites
Single-Chip Implementation of a Cryptosystem for Financial Applications
Cryptographic Combinatorial Securities Exchanges
Short Paper: Secure Offline Payments in Bitcoin
Can We Eliminate Certificate Revocations Lists?
The Governance of Decentralized Autonomous Organizations: A Study of Contributors' Influence, Networks, and Shifts in Voting Power
Extras and Premiums: Local PCN Routing with Redundancy and Fees
Future of Finance - From G20 to Practical Implementation of Multi-stakeholder Governance on Blockchain Based Finance
Decentralized Privacy-Preserving Netting Protocol on Blockchain for Payment Systems
Drivers of Bitcoin Energy Use and Emissions
A Security Framework for Card-Based Systems
PIRMAP: Efficient Private Information Retrieval for MapReduce
Blindly Signed Contracts: Anonymous On-Blockchain and Off-Blockchain Bitcoin Transactions
Improved YOSO Randomness Generation with Worst-Case Corruptions
Short Paper: Naysayer Proofs
Deploying Secure Multi-Party Computation for Financial Data Analysis - (Short Paper)
SoK: Blockchain Light Clients
Secure High-Rate Transaction Processing in Bitcoin
On the Computational Complexity of Minimal Cumulative Cost Graph Pebbling
Towards a Publicly-Verifiable Mix-Net Providing Everlasting Privacy
Confidentiality Issues on a GPU in a Virtualized Environment
Panel: Usable Cryptography: Manifest Destiny or Oxymoron?
VeriStream - A Framework for Verifiable Data Streaming
Are Payment Card Contracts Unfair? (Short Paper)
A Case Study on Measuring Statistical Data in the Tor Anonymity Network
Timed Release of Standard Digital Signatures
A Closer Look at the HTTP and P2P Based Botnets from a Detector's Perspective
Two-Layer Architecture for Signature-Based Attacks Detection over Encrypted Network Traffic
An Analysis of the Use of CVEs by IoT Malware
Improved Davies-Murphy's Attack on DES Revisited
Secure Protocol of ABAC Certificates Revocation and Delegation
HistoTrust: Ethereum-Based Attestation of a Data History Built with OP-TEE and TPM
AndroSSL: A Platform to Test Android Applications Connection Security
ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation
Secure Voting Protocol Using Balance Scale
Enhancing Code Security Through Open-Source Large Language Models: A Comparative Study
Data-Driven Evaluation of Intrusion Detectors: A Methodological Framework
Optimization Problems in Infrastructure Security
Reducing the Cost of Machine Learning Differential Attacks Using Bit Selection and a Partial ML-Distinguisher
At the Bottom of Binary Analysis: Instructions
A Quantile-Based Watermarking Approach for Distortion Minimization
Information Flow Control on a Multi-paradigm Web Application for SQL Injection Prevention
Pisces: A New Zero-Knowledge Protocol for Blockchain Privacy
Configuring Data Flows in the Internet of Things for Security and Privacy Requirements
Accurify: Automated New Testflows Generation for Attack Variants in Threat Hunting
HGABAC: Towards a Formal Model of Hierarchical Attribute-Based Access Control
Classifying Online Social Network Users through the Social Graph
On the Security of a Privacy-Preserving Key Management Scheme for Location Based Services in VANETs
A Tool for Enabling Scalable Automation in Security Control Selection
$\mathbb {K}$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications
Original Entry Point Detection Based on Graph Similarity
Homomorphic Evaluation of Lightweight Cipher Boolean Circuits
A Survey on Identity-Based Blind Signature
A Computational Indistinguishability Logic for the Bounded Storage Model
Following the Obfuscation Trail: Identifying and Exploiting Obfuscation Signatures in Malicious Code
Automated Exploration of Optimal Neural Network Structures for Deepfake Detection
Andrana: Quick and Accurate Malware Detection for Android
Logical Method for Reasoning About Access Control and Data Flow Control Models
Proofs of Retrievability via Fountain Code
The Perfect Victim? Family Offices as Targets for Cybercriminals
Selection and Performance Analysis of CICIDS2017 Features Importance
Achieving Mobile-Health Privacy Using Attribute-Based Access Control
Ransomware Network Traffic Analysis for Pre-encryption Alert
Using Machine Learning to Detect Anomalies in Embedded Networks in Heavy Vehicles
Foundations and Practice of Security - 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
Foundations and Practice of Security - 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021, Revised Selected Papers
Underwater Confidential Communications in JANUS
Is Expert-Labeled Data Worth the Cost? Exploring Active and Semi-supervised Learning Across Imbalance Scenarios in Financial Crime Detection
Attack Graph-Based Countermeasure Selection Using a Stateful Return on Investment Metric
Validating Requirements of Access Control for Cloud-Edge IoT Solutions (Short Paper)
ObliviousDB: Practical and Efficient Searchable Encryption with Controllable Leakage
Privacy by Design: On the Conformance Between Protocols and Architectures
Bounding the Cache-Side-Channel Leakage of Lattice-Based Signature Schemes Using Program Semantics
Deception in Information Security: Legal Considerations in the Context of German and European Law
Parametric Automata for Dynamic Access Control Policies
Incorporating Off-Line Attribute Delegation into Hierarchical Group and Attribute-Based Access Control
Automated Verification of Block Cipher Modes of Operation, an Improved Method
Data Confirmation for Botnet Traffic Analysis
Lempel-Ziv Compression with Randomized Input-Output for Anti-compression Side-Channel Attacks Under HTTPS/TLS
Secure Data Traceability for Mobile Data Collectors
Securing Internet-of-Things
A Novel Obfuscation: Class Hierarchy Flattening
Practices for Assessing the Security Level of Solidity Smart Contracts
Formal Verification of e-Reputation Protocols
TATIS: Trustworthy APIs for Threat Intelligence Sharing with UMA and CP-ABE
A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes
Fault Injection to Reverse Engineer DES-Like Cryptosystems
Lightweight IoT Mutual Authentication Scheme Based on Transient Identities and Transactions History
MARC: Modified ARC4
Monitoring of Security Properties Using BeepBeep
A Rejection-Based Approach for Detecting SQL Injection Vulnerabilities in Web Applications
Foundations and Practice of Security - 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II
Choosing Wordlists for Password Guessing: An Adaptive Multi-armed Bandit Approach
Privacy and Ethical Challenges in Big Data
A Roadmap for High Assurance Cryptography
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
Evading Deep Neural Network and Random Forest Classifiers by Generating Adversarial Samples
A Maximum Variance Approach for Graph Anonymization
On Acoustic Covert Channels Between Air-Gapped Systems
Privacy-Preserving Public Auditing in Cloud Computing with Data Deduplication
On the Reverse Engineering of the Citadel Botnet
Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II
Benchmarking Encrypted Data Storage in HBase and Cassandra with YCSB
Quantitative Evaluation of Enforcement Strategies - Position Paper
Defense Models for Data Recovery in Industrial Control Systems
The Carna Botnet Through the Lens of a Network Telescope
Security Analysis of WirelessHART Communication Scheme
Searchable Encryption in Apache Cassandra
Location-Dependent EM Leakage of the ATxmega Microcontroller
A Privacy Protection Layer for Wearable Devices
Attacking and Securing the Clock Randomization and Duplication Side-Channel Attack Countermeasure
A Privacy-Preserving Behavioral Authentication System
Towards a Maturity Model for Crypto-Agility Assessment
A Related-Key Attack on Block Ciphers with Weak Recurrent Key Schedules
Touchjacking Attacks on Web in Android, iOS, and Windows Phone
Green-Fuzz: Efficient Fuzzing for Network Protocol Implementations
COMPASS: Authenticated Group Key Agreement from Signcryption
Leveraging Ontologies upon a Holistic Privacy-Aware Access Control Model
Enhancing Autonomy of Context-Aware Self-healing in Fog Native Environments
Foundations and Practice of Security - 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
Interpreting Machine Learning Malware Detectors Which Leverage N-gram Analysis
Fault Analysis of the New Ukrainian Hash Function Standard: Kupyna
Computational Soundness of Symbolic Blind Signatures under Active Attacker
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
Labelled Network Capture Generation for Anomaly Detection
Multi-Criteria Recommender Approach for Supporting Intrusion Response System
Fast and Effective Clustering of Spam Emails Based on Structural Similarity
Mobile Travel Credentials
Short-Term Linkable Group Signatures with Categorized Batch Verification
Practical Homomorphic Evaluation of Block-Cipher-Based Hash Functions with Applications
Optimizing TLS for Low Bandwidth Environments
Cloud Security Auditing: Major Approaches and Existing Challenges
A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress
Network Security for Home IoT Devices Must Involve the User: A Position Paper
On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case
Moving Target Defense Against Cross-Site Scripting Attacks (Position Paper)
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress
A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies
Privacy-Preserving Machine Learning Inference for Intrusion Detection
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks
PERMANENT: Publicly Verifiable Remote Attestation for Internet of Things Through Blockchain
Don't Push It: Breaking iButton Security
A Priority-Based Domain Type Enforcement for Exception Management
An Optimal Metric-Aware Response Selection Strategy for Intrusion Response Systems
Vulnerability Analysis of Software Defined Networking
A Survey of Advanced Encryption for Database Security: Primitives, Schemes, and Attacks
Relationship-Based Access Control for Resharing in Decentralized Online Social Networks
Foundations and Practice of Security - 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I
GHUMVEE: Efficient, Effective, and Flexible Replication
Security Analysis of Improved EDHOC Protocol
ICoSSiuM: An Integrated Communication Security Simulator for Maritime Operations
Black-Box Property of Cryptographic Hash Functions
Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
CheR: Cheating Resilience in the Cloud via Smart Resource Allocation
An Adversarial Robustness Benchmark for Enterprise Network Intrusion Detection
Automated Extraction of Vulnerability Information for Home Computer Security
Automating Device Fingerprinting Attacks in 4G and 5G NSA Mobile Networks
Where is the Virtual Machine Within Cpython?
UDP State Manipulation: Description of a Packet Filtering Vulnerability in Stateful Firewalls
Enabling Dynamic Security Policy in the Java Security Manager
Semantically Non-preserving Transformations for Antivirus Evaluation
Get-your-ID: Decentralized Proof of Identity
Command Dependencies in Heuristic Safety Analysis of Access Control Models
Privacy-Preserving Equality Test Towards Big Data
An Efficient Identification Scheme Based on Rank Metric
An Enhancement of Privacy-Preserving Wildcards Pattern Matching
Drone Anomaly Detection: Dataset and Unsupervised Machine Learning
Monitoring the Execution of Cryptographic Functions
SATYA : Defending Against Adversarial Attacks Using Statistical Hypothesis Testing
Error-Free Lattice-Based Key Encapsulation Mechanism Based on Ring-LWE
Money Transfer on Transaction Signature-Based Ledger
Another Walk for Monchi
Information Classification Enablers
Preserving Privacy in Online Social Networks
Priv-IoT: Privacy-Preserving Machine Learning in IoT Utilizing TEE and Lightweight Ciphers
A Novel Commutative Blinding Identity Based Encryption Scheme
Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps
Employing Feature Selection to Improve the Performance of Intrusion Detection Systems
On Securely Manipulating XML Data
Lightweight Authentication and Encryption for Online Monitoring in IIoT Environments
Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized Response
Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange
Generic Construction for Identity-Based Proxy Blind Signature
A Modular Runtime Enforcement Model Using Multi-traces
Formal Analysis of the FIDO 1.x Protocol
Semantic Representation Based on Deep Learning for Spam Detection
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
Threat Modeling for Cloud Data Center Infrastructures
An Approach for Handling Missing Attribute Values in Attribute-Based Access Control Policy Mining
Information-Theoretic Foundations of Differential Privacy
On the Feasibility of a Censorship Resistant Decentralized Name System
Enroll, and Authentication Will Follow - eID-Based Enrollment for a Customized, Secure, and Frictionless Authentication Experience
Fine-Grained Access Control for Microservices
Evaluating Obfuscation Security: A Quantitative Approach
Lowering the Barrier: An Automatic Attack Flow Generation Framework for Non-Security Experts
A BERT-Based Framework for Automated Extraction of Behavioral Indicators of Compromise from Security Incident Reports
Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol
LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
Threshold Encryption into Multiple Ciphertexts
Foundations and Practice of Security - 13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1-3, 2020, Revised Selected Papers
A Multi-round Side Channel Attack on AES Using Belief Propagation
Foundations and Practice of Security - 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers
Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection
VulMAE: Graph Masked Autoencoders for Vulnerability Detection from Source and Binary Codes
URSID: Automatically Refining a Single Attack Scenario into Multiple Cyber Range Architectures
New Wrapper Feature Selection Algorithm for Anomaly-Based Intrusion Detection Systems
Cryptographic Formula Obfuscation
Foundations and Practice of Security - 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers
Private Identification of RFID Tags
Attack Mitigation by Data Structure Randomization
Advanced Real-Time Detection of Cyber Threat Information from Tweets
Extracting Attack Scenarios Using Intrusion Semantics
Debating Cybersecurity or Securing a Debate? - (Position Paper)
Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy
Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses
Security Mechanisms Planning to Enforce Security Policies
Implementation of Lightweight Ciphers and Their Integration into Entity Authentication with IEEE 802.11 Physical Layer Transmission
U-EPS: An Ultra-small and Efficient Post-quantum Signature Scheme
Trade-Off Between Authentication Performance and Detection Time for Zero-Effort Attack in Location-Based Authentication
Using Reed-Muller Codes for Classification with Rejection and Recovery
Reducing Trust Assumptions with OSCORE, RISC-V, and Layer 2 One-Time Passwords
Malware Message Classification by Dynamic Analysis
Developer-Proof Prevention of SQL Injections
More Lightweight, yet Stronger 802.15.4 Security Through an Intra-layer Optimization
Detecting Cyber Attacks on Electric Vehicles Charging Stations
Detecting Energy Attacks in the Battery-Less Internet of Things
Security Enforcement by Rewriting: An Algebraic Approach
A Formal Derivation of Composite Trust
Security Analysis of Auctionity: A Blockchain Based E-Auction
Composable Oblivious Extended Permutations
Formal Analysis of Combinations of Secure Protocols
Secure Logging with Security Against Adaptive Crash Attack
ONTIDS: A Highly Flexible Context-Aware and Ontology-Based Alert Correlation Framework
Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Does the Anchoring Effect Influence Individuals' Anti-phishing Behavior Intentions?
Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress
Automated Attacker Behaviour Classification Using Threat Intelligence Insights
SCADA Radio Blackbox Reverse Engineering
Inferring Touch from Motion in Real World Data
Mining Relationship-Based Access Control Policies from Incomplete and Noisy Data
Why Anomaly-Based Intrusion Detection Systems Have Not Yet Conquered the Industrial Market?
An Empirical Study of Black-Box Based Membership Inference Attacks on a Real-World Dataset
A Shared Key Recovery Attack on a Masked Implementation of CRYSTALS-Kyber's Encapsulation Algorithm
Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis
Model-Based Specification and Validation of Security and Dependability Patterns
A New Class of Trapdoor Verifiable Delay Functions
Message Transmission and Key Establishment: Conditions for Equality of Weak and Strong Capacities
Evaluation of Software-Oriented Block Ciphers on Smartphones
Malicious Human Behaviour in Information System Security: Contribution to a Threat Model for Event Detection Algorithms
Deep-Learning-Based Vulnerability Detection in Binary Executables
Foundations and Practice of Security - 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers
Collusion Resistant Inference Control for Cadastral Databases
Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers
Unsupervised Clustering of Honeypot Attacks by Deep HTTP Packet Inspection
Detecting Attacks in Network Traffic Using Normality Models: The Cellwise Estimator
A Small World-Privacy Preserving IoT Device-Type Fingerprinting with Small Datasets
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties
Does Gender Matter? Examining and Mitigating Gender Bias in Fake News Detection
Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts
A Study on Mitigation Techniques for SCADA-Driven Cyber-Physical Systems (Position Paper)
Generation of Applicative Attacks Scenarios Against Industrial Systems
Differentially Private Friends Recommendation
Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
SC 2: Secure Communication over Smart Cards - How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards
Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I
A Decentralized Mnemonic Backup System for Non-custodial Cryptocurrency Wallets
Modeling Attacks and Efficient Countermeasures on Interpose PUF
Robustness of Affine and Extended Affine Equivalent Surjective S-Box(es) Against Differential Cryptanalysis
Towards Secure TMIS Protocols
Protection of Systems Against Fuzzing Attacks
Asset Sensitivity for Aligning Risk Assessment Across Multiple Units in Complex Organizations
An Approach to Determine a System's Behavioural Security Posture
Fast Short and Fast Linear Cramer-Shoup
Point-Counting Method for Embarrassingly Parallel Evaluation in Secure Computation
If-This-Then-Allow-That (to Phone Home): A Trigger-Based Network Policy Enforcement Framework for Smart Homes
CHIEFS: Corneal-Specular Highlights Imaging for Enhancing Fake-Face Spotter
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks
Intelligent Green Efficiency for Intrusion Detection
Scalable Deniable Group Key Establishment
Evaluating Deep Learning for Cross-Domains Fake News Detection
IPv6 Stateless Address Autoconfiguration: Balancing between Security, Privacy and Usability
Software Camouflage
Protecting Android Apps from Repackaging Using Native Code
Mitigating Spillover Effects of Ransomware in Financial Markets: Lessons from the LockBit Attacks
An Automatized Identity and Access Management System for IoT Combining Self-Sovereign Identity and Smart Contracts
PAC: Privacy-Preserving Arrhythmia Classification with Neural Networks
Hardening Systems Against Data Corruption Attacks at Design Time
Optimizing Anonymity and Performance in a Mix Network
Phishing Detection with Popular Search Engines: Simple and Effective
Mitigating Collaborative Blackhole Attacks on DSR-Based Mobile Ad Hoc Networks
Creation and Detection of German Voice Deepfakes
A Case Study of Side-Channel Analysis Using Decoupling Capacitor Power Measurement with the OpenADC
Enforcing Information Flow by Combining Static and Dynamic Analysis
Effectiveness of Binary-Level CFI Techniques
Anonymizable Ring Signature Without Pairing
MIME: A Formal Approach to (Android) Emulation Malware Analysis
Securing Smart Vehicles Through Federated Learning
Dynamic Searchable Encryption with Access Control
A General Framework for Group Authentication and Key Exchange Protocols
Policy Administration in Tag-Based Authorization
Validating the DFA Attack Resistance of AES (Short Paper)
A Self-correcting Information Flow Control Model for the Web-Browser
Revisiting Stream-Cipher-Based Homomorphic Transciphering in the TFHE Era
Web Scams Detection System
ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-domain Fake News Detection
An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in Untrusted Cloud Environments
Secure Joins with MapReduce
Analysis of Cryptographic CVEs: Lessons Learned and Perspectives
MalProfiler: Automatic and Effective Classification of Android Malicious Apps in Behavioral Classes
On the Feasibility of Malware Authorship Attribution
Towards Side-Channel Secure Firmware Updates - A Minimalist Anomaly Detection Approach
Three Views of Log Trace Triaging
A Comparative Study Across Static and Dynamic Side-Channel Countermeasures
A Systematic Evaluation of Non-SDK Interface Restrictions in Android: Bridging the Gap Between Guidelines and Practice
Collectively Enhancing IoT Security: A Privacy-Aware Crowd-Sourcing Approach
Post-quantum and UC-Secure Oblivious Transfer from SPHF with Grey Zone
Obfuscation Code Localization Based on CFG Generation of Malware
Detection of Illegal Control Flow in Android System: Protecting Private Data Used by Smartphone Apps
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress
MaD2: An Ultra-Performance Stream Cipher for Pervasive Data Encryption
A Taxonomy and Gap-Analysis in Digital Privacy Education
Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers
An Extensive Comparison of Systems for Entity Extraction from Log Files
Yet Another Fault-Based Leakage in Non-uniform Faulty Ciphertexts
Strategies for Incorporating Delegation into Attribute-Based Access Control (ABAC)
Decentralized Dynamic Security Enforcement for Mobile Applications with CliSeAuDroid
A Comparative Analysis of Machine Learning Techniques for IoT Intrusion Detection
On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr