yusuke1997/dblp-id-title huggingface dataset:
Information Security Practice and Experience - 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings
Enforcing the Principle of Least Privilege with a State-Based Privilege Control Model
Privacy-Preserving Credentials Upon Trusted Computing Augmented Servers
BCBC: A More Efficient MAC Algorithm
Fault Analysis of the KATAN Family of Block Ciphers
New Impossible Differential Attacks on Camellia
Secure Distributed Computation of the Square Root and Applications
On the CCA-1 Security of Somewhat Homomorphic Encryption over the Integers
An Extended Authentication and Key Agreement Protocol of UMTS
A Brief Observation-Centric Analysis on Anomaly-Based Intrusion Detection
Fast Implementation of Simple Matrix Encryption Scheme on Modern x64 CPU
Fully Secure Online/Offline Predicate and Attribute-Based Encryption
Group-Based Key Exchange Protocol Based on Complete Decomposition Search Problem
Thrifty Zero-Knowledge - When Linear Programming Meets Cryptography
Lightweight Function Pointer Analysis
On Non-representable Secret Sharing Matroids
Tackling Worm Detection Speed and False Alarm in Virus Throttling
A Generic Framework for Accountable Optimistic Fair Exchange Protocol
Data Security and Privacy in the Cloud
Defending against the Pirate Evolution Attack
Formalization of RBAC Policy with Object Class Hierarchy
New Impossible Differential and Known-Key Distinguishers for the 3D Cipher
An Empirical Study on the Usability of Logout in a Single Sign-on System
How Spam Features Change in Twitter and the Impact to Machine Learning Based Detection
Information Security Practice and Experience - 7th International Conference, ISPEC 2011, Guangzhou, China, May 30 - June 1, 2011. Proceedings
Design and Implementation of an Extended Reference Monitor for Trusted Operating Systems
Lightweight Integrity for XOR Network Coding in Wireless Sensor Networks
A Counting-Based Method for Massive Spam Mail Classification
Improved Differential Analysis of Block Cipher PRIDE
Breaking GEA-Like Stream Ciphers with Lower Time Cost
Visualizing Privacy Risks of Mobile Applications through a Privacy Meter
Information Security Practice and Experience, First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings
Using API Calls for Sequence-Pattern Feature Mining-Based Malware Detection
Detection of Adversarial Examples Based on the Neurons Distribution
Achieving End-to-End Authentication in Intermediary-Enabled Multimedia Delivery Systems
Certificateless Public Key Signature Schemes from Standard Algorithms
On the Effectiveness of Different Botnet Detection Approaches
Using the B Method to Formalize Access Control Mechanism with TrustZone Hardware Isolation (Short Paper)
Game Theoretic Resistance to Denial of Service Attacks Using Hidden Difficulty Puzzles
A Novel Group Signature Scheme Based on MPKC
EPFSTO-ARIMA: Electric Power Forced Stochastic Optimization Predicting Based on ARIMA
Ranked Searchable Symmetric Encryption Supporting Conjunctive Queries
Cloud-Assisted LLL: A Secure and Efficient Outsourcing Algorithm for Approximate Shortest Vector Problem
A Protocol of Member-Join in a Secret Sharing Scheme
Malicious Player Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
Accelerating Inverse of GF (2 n ) with Precomputation
A Novel Adaptive Watermarking Scheme Based on Human Visual System and Particle Swarm Optimization
Information Security Practice and Experience - 15th International Conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26-28, 2019, Proceedings
Efficient and Secure Firmware Update/Rollback Method for Vehicular Devices
Signed MSB-Set Comb Method for Elliptic Curve Point Multiplication
LocKey: Location-Based Key Extraction from the WiFi Environment in the User's Vicinity
Short Linkable Ring Signatures for E-Voting, E-Cash and Attestation
MalXCap: A Method for Malware Capability Extraction
Information Security Practice and Experience - 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings
A Privacy Preserving Source Verifiable Encryption Scheme
TTP-free Fair Exchange of Digital Signatures with Bitcoin
A New Public Key Broadcast Encryption Using Boneh-Boyen-Goh's HIBE Scheme
XSS Attack Detection by Attention Mechanism Based on Script Tags in URLs
A Novel Certificateless Multi-signature Scheme over NTRU Lattices
Attribute Based Tracing for Securing Group Signatures Against Centralized Authorities
High-Speed Elliptic Curve Cryptography on the NVIDIA GT200 Graphics Processing Unit
An Efficient Convertible Undeniable Signature Scheme with Delegatable Verification
On Fast and Approximate Attack Tree Computations
Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly
QR-SACP: Quantitative Risk-Based Situational Awareness Calculation and Projection Through Threat Information Sharing
Preventing Web-Spoofing with Automatic Detecting Security Indicator
Compact Ring Signature in the Standard Model for Blockchain
Information Security Practice and Experience, Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings
Quantum Key Distribution as a Service and Its Injection into TLS
An Ensemble Learning System to Mitigate Malware Concept Drift Attacks (Short Paper)
Securing C Programs by Dynamic Type Checking
Reasoning About Trust and Belief Change on a Social Network: A Formal Approach
A Secure Server-Based Pseudorandom Number Generator Protocol for Mobile Devices
Trojan Horse Attack Strategy on Quantum Private Communication
Shrinkable Ring Signatures: It Wasn't Them!
New Fully Secure Hierarchical Identity-Based Encryption with Constant Size Ciphertexts
A Revocable Outsourced Data Accessing Control Scheme with Black-Box Traceability
Using pi -Calculus to Formalize Domain Administration of RBAC
Penetration rate-equivalent inertia time constant function identification method of renewable energy power system
A New Efficient Algorithm for Computing All Low Degree Annihilators of Sparse Polynomials with a High Number of Variables
Sherlock Holmes Zero-Knowledge Protocols
Efficient Adaptive Oblivious Transfer in UC Framework
A Formal Model for an Ideal CFI
A New Design of Online/Offline Signatures Based on Lattice
WADS: A Webshell Attack Defender Assisted by Software-Defined Networks
Integral Attacks on Reduced-Round ARIA Block Cipher
Related-Key Rectangle Attack on 43-Round SHACAL-2
Prevent Kernel Return-Oriented Programming Attacks Using Hardware Virtualization
Some New Observations on the SMS4 Block Cipher in the Chinese WAPI Standard
Analysing Protocol Implementations
Improved Digital Signatures Based on Elliptic Curve Endomorphism Rings
An Efficient ID-Based Verifiably Encrypted Signature Scheme Based on Hess's Scheme
Private Query on Encrypted Data in Multi-user Settings
Generating Phishing Emails Using Graph Database
RSA Moduli with a Predetermined Portion: Techniques and Applications
A Formal Study of the Privacy Concerns in Biometric-Based Remote Authentication Schemes
Outsourced and Robust Multi-party Computation with Identifying Malicious Behavior and Application to Machine Learning
Trusted Identity Management for Overlay Networks
A Comparative Analysis of Phishing Tools: Features and Countermeasures
Defending Application Cache Integrity of Android Runtime
A Time-Based Key Management Protocol for Wireless Sensor Networks
Identity-Based Key Agreement with Unilateral Identity Privacy Using Pairings
Efficient Traceable Oblivious Transfer and Its Applications
Robust Anomaly Detection via Radio Fingerprinting in LoRa-Enabled IIoT
Detection of Distributed Denial of Service Attacks Using Statistical Pre-processor and Unsupervised Neural Networks
DIDO: Data Provenance from Restricted TLS 1.3 Websites
Differential Fault Analysis of Streebog
Joint Triple-Base Number System for Multi-Scalar Multiplication
Secure and Efficient Federated Learning by Combining Homomorphic Encryption and Gradient Pruning in Speech Emotion Recognition
The KDM-CCA Security of REACT
Plaintext-Checkable Encryption with Unlink-CCA Security in the Standard Model
A Secure and Practical Signature Scheme for Blockchain Based on Biometrics
Leakage Resilient Authenticated Key Exchange Secure in the Auxiliary Input Model
Analysis and Improvement of an Authenticated Key Exchange Protocol
Blockchain-Based Multi-keyword Search on Encrypted COVID-19 Contact Tracing Data
Optimizing Online Permutation-Based AE Schemes for Lightweight Applications
On the Security of a Certificate-Based Signature Scheme and Its Improvement with Pairings
Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi'an, China, April 13-15, 2009, Proceedings
On the Correctness of an Approach against Side-Channel Attacks
Enhancing Portability in Deep Learning-Based Side-Channel Attacks Against Kyber
1-out-of-
Secure Computation of the Vector Dominance Problem
iPIN and mTAN for Secure eID Applications
IoVShield: An Efficient Vehicular Intrusion Detection System for Self-driving (Short Paper)
PROBE: A Process Behavior-Based Host Intrusion Prevention System
Accountable Trapdoor Sanitizable Signatures
Countering Burst Header Packet Flooding Attack in Optical Burst Switching Network
A Secure Incentive Mechanism in Blockchain-Based Mobile Crowdsensing
Recovering Multi-prime RSA Keys with Erasures and Errors
Compact Lossy and All-but-One Trapdoor Functions from Lattice
Lattice-Based Universal Designated Multi-verifiers Signature Scheme
Privacy-Preserving Data Collection for Mobile Phone Sensing Tasks
Towards Tamper Resistant Code Encryption: Practice and Experience
Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes
Leakage-Resilient Chosen-Ciphertext Secure Functional Encryption from Garbled Circuits
Impossible Differential Cryptanalysis and Integral Cryptanalysis of the ACE-Class Permutation
User Identity Verification Based on Touchscreen Interaction Analysis in Web Contexts
VulLocator: Automatically Locating Vulnerable Code in Binary Programs
Public-Key Encryptions Tolerating Adaptive and Composable Adversaries
Automatic Encryption Schemes Based on the Neural Networks: Analysis and Discussions on the Various Adversarial Models (Short Paper)
Secure Feedback Service in Wireless Sensor Networks
Host-Based Security Sensor Integrity in Multiprocessing Environments
Implementing IDS Management on Lock-Keeper
Kipnis-Shamir Attack on Unbalanced Oil-Vinegar Scheme
An Email Worm Vaccine Architecture
Improved Related-Key Boomerang Attacks on Round-Reduced Threefish-512
Further Security Analysis of XTR
A Host-Based Detection Method of Remote Access Trojan in the Early Stage
Secure Best Arm Identification in Multi-armed Bandits
Information Security Practice and Experience, Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings
A Task-Oriented Access Control Model for WfMS
Isogeny-Based Multi-signature Scheme
Privacy-Preserving Cloud Auditing with Multiple Uploaders
Visual Cryptography Schemes with Dihedral Group Access Structure for Many Images
Cramer-Shoup Like Chosen Ciphertext Security from LPN
Practical Signature Scheme from \varGamma Γ -Protocol
Revocable Threshold Attribute-Based Signature against Signing Key Exposure
Conformance Checking of RBAC Policy and its Implementation
ADKAM: A-Diversity K-Anonymity Model via Microaggregation
An Efficient Way to Build Secure Disk
Generic CCA Secure Key Homomorphic KEM and Updatable Public Key Encryption
Information Security Practice and Experience, 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23, 2008, Proceedings
Three-Round Secret Handshakes Based on ElGamal and DSA
Structure-Based RSA Fault Attacks
Security On-demand Architecture with Multiple Modules Support
Identity-Based Multisignature with Message Recovery
A General and Efficient Obfuscation for Programs with Tamper-Proof Hardware
Accelerating Number Theoretic Transform in GPU Platform for qTESLA Scheme
Explore Capabilities and Effectiveness of Reverse Engineering Tools to Provide Memory Safety for Binary Programs
Certificate Based (Linkable) Ring Signature
An Efficient and Provably Secure Private Polynomial Evaluation Scheme
Toward Trustworthy Clouds' Internet Scale Critical Infrastructure
Mining for Better: An Energy-Recycling Consensus Algorithm to Enhance Stability with Deep Learning
Dynamic Provable Data Possession Protocols with Public Verifiability and Data Privacy
Information Security Practice and Experience - 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13-15, 2017, Proceedings
A Framework for Security Analysis of Key Derivation Functions
RTR-Shield: Early Detection of Ransomware Using Registry and Trap Files
Enhancement for Secure Multiple Matrix Multiplications over Ring-LWE Homomorphic Encryption
Anonymous Authentication Protocols in Vehicular Ad Hoc Network-An Survey
Efficient Sealed-Bid Auction Protocols Using Verifiable Secret Sharing
Security of SM4 Against (Related-Key) Differential Cryptanalysis
PUOKMS: Password-Protected Updatable Oblivious Key Management System for Cloud Storage
Security Analysis of a Server-Aided RSA Key Generation Protocol
Hierarchical Conditional Proxy Re-Encryption: A New Insight of Fine-Grained Secure Data Sharing
Improving Signature Schemes with Tight Security Reductions
Home Location Protection in Mobile Social Networks: A Community Based Method (Short Paper)
Measuring Anonymity
A Traceable and Revocable Attribute-based Encryption Scheme Based on Policy Hiding in Smart Healthcare Scenarios
Mitigating Sybil Attacks in Federated Learning
New Truncated Differential Cryptanalysis on 3D Block Cipher
BioID: Biometric-Based Identity Management
Diophantine Approximation Attack on a Fast Public Key Cryptosystem
Mitigating the Malicious Trust Expansion in Social Network Service
A Lattice-Based Approach to Privacy-Preserving Biometric Authentication Without Relying on Trusted Third Parties
Model Redundancy vs. Intrusion Detection
Structural Evaluation for Simon-Like Designs Against Integral Attack
Enhanced STE3D-CAP: A Novel 3D CAPTCHA Family
Increasing Automated Vulnerability Assessment Accuracy on Cloud and Grid Middleware
On the Sequentiality of Three Optimal Structured Multisignature Schemes
Visual Spoofing of SSL Protected Web Sites and Effective Countermeasures
XFedGraph-Hunter: An Interpretable Federated Learning Framework for Hunting Advanced Persistent Threat in Provenance Graph
Preimage Attack on Hash Function RIPEMD
A Novel Dynamic Immunization Strategy for Computer Network Epidemics
New Related Key Attacks on the RAKAPOSHI Stream Cipher
Privacy Enhanced Access Control by Means of Policy Blinding
A Spark-Based DDoS Attack Detection Model in Cloud Services
Traitor Tracing against Public Collaboration
Seeing Is Believing: Authenticating Users with What They See and Remember
A Deniable Group Key Establishment Protocol in the Standard Model
StrGAN for Generating Enhanced Samples
A New Functional Encryption for Multidimensional Range Query (Short Paper)
Hierarchical Secret Sharing Schemes Secure Against Rushing Adversary: Cheater Identification and Robustness
Enhanced Remote Password-Authenticated Key Agreement Based on Smart Card Supporting Password Changing
A Model for Constraint and Delegation Management
Simplified PACE|AA Protocol
Multi-recipient Encryption in Heterogeneous Setting
Lightweight EdDSA Signature Verification for the Ultra-Low-Power Internet of Things
A CAPTCHA Scheme Based on the Identification of Character Locations
Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol
Performance Impact Analysis of Homomorphic Encryption: A Case Study Using Linear Regression as an Example
Locally Multipath Adaptive Routing Protocol Resilient to Selfishness and Wormholes
UCC: Universal and Committee-based Cross-chain Framework
Differential Cryptanalysis of Salsa20 Based on Comprehensive Analysis of PNBs
Distributed Pseudo-Random Number Generation and Its Application to Cloud Database
Secure Federated Distillation Framework for Encrypted Traffic Classification
Secure Cryptographic Precomputation with Insecure Memory
A Rapid and Scalable Method for Android Application Repackaging Detection
Rational Secret Sharing with Repeated Games
Twister- A Framework for Secure and Fast Hash Functions
Information Security Practice and Experience - 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015. Proceedings
Secure Signed Radix- r Recoding Methods for Constrained-Embedded Devices
On the Impacts of Mathematical Realization over Practical Security of Leakage Resilient Cryptographic Schemes
Strongly Secure Key Exchange Protocol with Minimal KEM
BAHS: A Blockchain-Aided Hash-Based Signature Scheme
Recovering Memory Access Sequence with Differential Flush+Reload Attack
A CNN-Based Semi-supervised Learning Approach for the Detection of SS7 Attacks
Anonymizing Bitcoin Transaction
An Economical Model for the Risk Evaluation of DoS Vulnerabilities in Cryptography Protocols
T_SM: Elliptic Curve Scalar Multiplication Algorithm Secure Against Single-Trace Attacks
On the Security of Some Nonrepudiable Threshold Proxy Signature Schemes
Mediator-Free Secure Policy Interoperation of Exclusively-Trusted Multiple Domains
Certificateless KEM and Hybrid Signcryption Schemes Revisited
Some Efficient Algorithms for the Final Exponentiation of eta T Pairing
Linearly Homomorphic Signatures with Designated Entities
Collision Attacks on CAESAR Second-Round Candidate: ELmD
On the Importance of the Key Separation Principle for Different Modes of Operation
Distributed Private Matching and Set Operations
Deniable Encryptions Secure against Adaptive Chosen Ciphertext Attack
Improving the Message-Ciphertext Rate of Lewko's Fully Secure IBE Scheme
A Progressive Dual-Rail Routing Repair Approach for FPGA Implementation of Crypto Algorithm
Macros Finder: Do You Remember LOVELETTER?
Efficient Hardware Implementation of MQ Asymmetric Cipher PMI+ on FPGAs
A New Class of Codes for Fingerprinting Schemes
Ring Trapdoor Redactable Signatures from Lattice
Regulating IoT Messages
Non-adaptive Group-Testing Aggregate MAC Scheme
A Digital Forensic Framework for Automated User Activity Reconstruction
Efficient Certificate-Based Signature and Its Aggregation
TMGMap: Designing Touch Movement-Based Geographical Password Authentication on Smartphones
Defining a New Composite Cybersecurity Rating Scheme for SMEs in the U.K
Using Purpose Capturing Signatures to Defeat Computer Virus Mutating
A Conditional Proxy Broadcast Re-Encryption Scheme Supporting Timed-Release
Measuring Resistance to Social Engineering
Keyword-Based Delegable Proofs of Storage
Efficient Trapdoor Generation from Multiple Hashing in Searchable Symmetric Encryption
Privacy-Preserving Extraction of HOG Features Based on Integer Vector Homomorphic Encryption
Evaluating the Possibility of Evasion Attacks to Machine Learning-Based Models for Malicious PowerShell Detection
A Mulitiprocess Mechanism of Evading Behavior-Based Bot Detection Approaches
Efficient Bid Validity Check in ElGamal-Based Sealed-Bid E-Auction
Combined Cache Timing Attacks and Template Attacks on Stream Cipher MUGI
Detection of MSOffice-Embedded Malware: Feature Mining and Short- vs. Long-Term Performance
Chosen Ciphertext Security for Blind Identity-Based Encryption with Certified Identities
Techniques for Continuous Touch-Based Authentication
Detect Compiler Inserted Run-time Security Checks in Binary Software
Short (Identity-Based) Strong Designated Verifier Signature Schemes
Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing
Combating Spam and Denial-of-Service Attacks with Trusted Puzzle Solvers
An Open Approach for Designing Secure Electronic Immobilizers
A Framework for Authenticated Key Exchange in the Standard Model
Privacy Preserving of Trust Management Credentials Based on Trusted Computing
Provably Secure Certificateless Authenticated Asymmetric Group Key Agreement
HDROP: Detecting ROP Attacks Using Performance Monitoring Counters
Risk Assessment of Production Networks Using Honeynets - Some Practical Experience
Fully Secure Cipertext-Policy Hiding CP-ABE
Obfuscating Encrypted Web Traffic with Combined Objects
Key Length Estimation of Pairing-Based Cryptosystems Using η T Pairing
Secure Communications in Unmanned Aerial Vehicle Network
Information Security Practice and Experience - 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings
Modeling and Evaluation of Security Architecture for Wireless Local Area Networks by Indexing Method: A Novel Approach
ACP-lrFEM: Functional Encryption Mechanism with Automatic Control Policy in the Presence of Key Leakage
Security Specification for Conversion Technologies of Heterogeneous DRM Systems
The (Persistent) Threat of Weak Passwords: Implementation of a Semi-automatic Password-Cracking Algorithm
Designing Enhanced Robust 6G Connection Strategy with Blockchain
Encryption Simulatability Reconsidered
An Empirical Study of Quality and Cost Based Security Engineering
Hiding Data in Binary Images
Evaluation of Software PUF Based on Gyroscope
Blockchain-Based Self-Sovereign Identity System with Attribute-Based Issuance
Reason Maintenance Systems
Begründungsverwaltung, Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings
RMSAI - Ein Reason Maintenance System für approximative Inferenzen
CMS (Consistency Maintenance System) - Ein Interpreter für konsistenzerhaltende Prozeduren
An Integrated Non-Monotonic and Reason Maintenance System
Assumption-Based Truth Maintenance
Creating a Design Science of Human-Computer Interaction
Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic
Sur l'approximation numérique d'inéquations quasi-variationnelles stationnaires
Stochastic Control and Large Deviations
Mehtods of stuctural optimization
Technology, Networks, and the Library of the Year 2000
Fundamentals of Bicentric Perspective
Problèmes de stabilité numérique posés par les systèmes hyperboliques avec conditions aux limites
Autonomous Control
Computing Methods in Applied Sciences and Engineering, Part 2, International Symposium, Versailles, France, December 17-21, 1973, Proceedings
Méthodes numériques en électro-magnétisme
Numerical Simulation of the Taylor-Green Vortex
Méthodes et techniques d'intégration numérique adaptées à l'étude des écoulements planétaires
Large Amplitude Wave Propagation in Arteries and Veins
Méthodes numériques pour le projet d'appareillages industriels avancés
Problèmes de contrôle optimal en physique des plasmas
Stabilization of Galerkin Methods and Applications to Domain Decomposition
New Frontiers in Database System Research
Résolution numérique des équations de Navier-Stokes pour les fluides compressibles
Estimation de paramètres distribués dans les équations aux dérivées partielles
Coordinating Vehicles in an Automated Highway
Three Dimensional Flows around Airfoils with Shocks
Application de la méthode de éléments finis - Un procédé de sous-assemblage
Visco-plasticity and plasticity An alternative for finite element solution of material nonlinearities
Flow Computations with Accurate Space Derivative Methods
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings
Numerical solution of the stationary Navier-Stokes equations by finite element methods
Opitmisation des systèmes portants et propulsifs par la méthode des singularités
Recent Advances in Computational Fluid Dynamics
Sensing Robots
Increase of Accuracy of Projective Difference Schemes
Computing Methods in Applied Sciences and Engineering, Part 1, International Symposium, Versailles, France, December 17-21, 1973, Proceedings
Un nouvel élément de coques générales
Problèmes et méthodes numériques en physique des plasmas à très haute température
Opportunities and Challenges in Signal Processing and Analysis
World Mathematical Year 2000 and Computer Sciences
Dependable Parallel Computing by Randomization (Abstract)
Computing methods in semiconductor problem
Numerical Analysis of Problems Arising in Biochemistry