yusuke1997/dblp-id-title huggingface dataset:
Compiling CAO: From Cryptographic Specifications to C Implementations
Practical Everlasting Privacy
Postulates for Revocation Schemes
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels
Security Analysis of Cache Replacement Policies
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity
Verification of Security Protocols with Lists: From Length One to Unbounded Length
Foundations for Parallel Information Flow Control Runtime Systems
Asymmetric Secure Multi-execution with Declassification
Leakiness is Decidable for Well-Founded Protocols
Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
A Theory of Agreements and Protection
Revisiting Botnet Models and Their Implications for Takedown Strategies
Abstractions for Security Protocol Verification
Formal Verification of e-Auction Protocols
Type-Based Analysis of PKCS#11 Key Management
PTaCL: A Language for Attribute-Based Access Control in Open Systems
A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient
Deciding Selective Declassification of Petri Nets
Logical Foundations of Secure Resource Management in Protocol Implementations
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law
A Principled Approach to Tracking Information Flow in the Presence of Libraries
Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques
A Game-Theoretic Analysis of Cooperation in Anonymity Networks
AIF-ω: Set-Based Protocol Abstraction with Countable Families
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
Composing Protocols with Randomized Actions
UniTraX: Protecting Data Privacy with Discoverable Biases
Secure Multi-party Computation: Information Flow of Outputs and Game Theory
Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Enforceable Security Policies Revisited
Time-Dependent Analysis of Attacks
Membership-Based Access Control for Trust Negotiation in Open Systems
A Multi-view Nonlinear Active Shape Model Based on 3D Transformation Shape Search
Team Edit Automata for Testing Security Property
The Research of NULL Convention Logic Circuit Computing Model Targeted at Block Cipher Processing
Second-LSB-Dependent Robust Watermarking for Relational Database
Boosting Graph Embedding with Application to Facial Expression Recognition
A Support Vector Machines Security Assessment Method Based on Group Decision-Marking for Electric Power Information System
Building Trustworthy Intrusion Detection through VM Introspection
Sixth International Conference on Information Assurance and Security, IAS 2010, Atlanta, GA, USA, August 23-25, 2010
Ideal Perfect Multilevel Threshold Secret Sharing Scheme
Emergency Command System for Geologic Disasters Prevention
Zero Packet Loss Hand-off Mechanism in SIP-Based Wireless Networks
A hierarchical access authentication in network
Performance Analysis of Anonymous Communication System 3-Mode Net
A Generalization of de Weger's Method
On Detecting Packets Droppers in MANET: A Novel Low Cost Approach
A comparative study of feature extraction using PCA and LDA for face recognition
A Resistant Secret Sharing Scheme
Applying Secure Data Aggregation techniques for a Structure and Density Independent Group Based Key Management Protocol
Automatic semantic annotation of images based on Web data
Detecting DoS and DDoS Attacks by Using an Intrusion Detection and Remote Prevention System
Shoeprint Image Retrieval Based on Local Image Features
Insider threat discovery using automatic detection of mission critical data based on content
Study on Centralized Authorization Model Supporting Multiple Access Control Models
Modeling the Co-evololution DNS Worms and Anti-worms in IPv6 Networks
An Improvement of AODV Protocol Based on Reliable Delivery in Mobile Ad Hoc Networks
Skin Segmentation Using Color Distance Map and Water-Flow Property
A Deep Copy Protection Framework for Electronic Devices within Home
A two-tiered authentication and encryption scheme in secure healthcare sensor networks
Investigation of bypassing malware defences and malware detections
Hierarchical Takagi-Sugeno Models for Online Security Evaluation Systems
A Low-cost RFID Authentication Protocol with Location Privacy Protection
A framework for integrated risk management process using survival analysis approach in information security
Image de-noising of a metal matrix composite microstructure using Sure-let wavelet and weighted bilateral filter
A Fragile Software Watermarking for Tamper-Proof
A Friend Mechanism for Mobile Ad Hoc Networks
Integrating OAuth with Information card systems
Key Binding Based on Biometric Shielding Functions
Threats to Health Information Security
A Two-Description Distributed Video Coding
A Modified Feature Based Image Watermarking Scheme in NSCT Domain
Soft DSP Design Methodology of Face Recognition System on Nios II Embedded Platform
Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations
Secure Constructing Bluetooth Scatternet Based on BTCP
History and Future Information Based Trust Model in C2C E-commerce
Image Moment Based Registration Scheme Utilizing Support Vector Machine
Detecting DoS and DDoS Attacks Using Chi-Square
One-way Hash Function Construction Based on Conservative Chaotic Systems
Forward-Secure Certificate-Based Encryption
Dynamic Substitution Model
Experimental study of continuous variable quantum key distribution
Examining CSCF entity attacks scenarios and vulnerabilities in IP Multimedia Subsystems
A Novel Biometric-Based Authentication Scheme with Privacy Protection
A cooperative intrusion detection scheme for clustered mobile ad hoc networks
E-government Security Management: Key Factors and Countermeasure
Secure protocol for ad hoc transportation system
An Authentication Protocol Applied to RFID Security Systems
Moving Object Tracking Using Symmetric Mask-Based Scheme
W-Aegis: A Propagation Behavior Based Worm Detection Model for Local Networks
SAR Image Target Recognition Based on Hu Invariant Moments and SVM
A New Adaptive Image Denoising Method Combining the Nonsubsampled Contourlet Transform and Total Variation
A Novel Approach for Audio Watermarking
Application of the Fuzzy Entropy Weight in Risk Assessment of the Engineering Project
Public auditing for secure data storage in cloud through a third party auditor using modern ciphertext
Trusted integration of cloud-based NFC transaction players
A New Conic Curve Digital Signature Scheme
Research on New Classification Methods of Remote Sensing of Mass Ingredient without Vegetation of Hei Shan Gorge in Yellow River Basin
Detection and Honeypot Based Redirection to Counter DDoS Attacks in ISP Domain
Domain Administration of Task-role Based Access Control for Process Collaboration Environments
Profiling mobile malware behaviour through hybrid malware analysis approach
Organizational Barriers to the Implementation of Security Engineering
Image Watermarking Using Phase-Shifting Digital Holography Embedded in the Wavelet Domain
An Adaptable Threshold Decision Method
A Database Protection System Aiming at SQL Attack
A Secure Storage Service for the gLite Middleware
A New Interacting Multiple Model Algorithm Based on the Unscented Particle Filter
An Improved SPECK Image Coding Algorithm
An Authenticating Algorithm with Multi-compression Compatible in DCT Domain
Optimization of excerpt query process for Packet Attribution System
Efficient Protection Scheme for SVC Content Based on Network Coding
An Active Defense Model and Framework of Insider Threats Detection and Sense
Joint Entropy Analysis Model for DDoS Attack Detection
Information Assurance in Critical Infrastructures via Wireless Sensor Networks
Cepstrum-Based Audio Watermarking Algorithm against the A/D and D/A Attacks
Design and Integration for Background Subtraction and Foreground Tracking Algorithm
Risk Assessment Model on the Internal Corporate Governance Based on the SPA
Strategic approach for high performance object tracking in a network of surveillance cameras
Fault attack on AES with single-bit induced faults
Digital safe: Secure synchronization of shared files
A System for Detecting Unusual Sounds from Sound Environment Observed by Microphone Arrays
Personal recognition system using hand modality based on local features
Program Fragmentation as a Metamorphic Software Protection
Integrating Delegation with the Formal Core RBAC Model
Secure architecture for healthcare Wireless Sensor Networks
Hardware/Software Codesign of Resource Constrained Real-Time Systems
Secure Hybrid Group Key Management for Hierarchical Self-Organizing Sensor Network
ACML: Capability Based Attack Modeling Language
Modeling Security Protocols as Games
Audited credential delegation - a user-centric identity management solution for computational grid environments
Separation of Duty in Role-Based Access Control Model through Fuzzy Relations
A Parity Check Node Synchronization Based Method for Solving Phase Ambiguity Problem in DVB-S Systems
An Identification Method for Transient Capacitive Current of Distribution Network by ICMAC
Mining intrusion detection alerts for predicting severity of detected attacks
Multiresolution Target Detection in Wavelet Domain for SAR Imagery
A novel anti-collusion coding scheme tailored to track linear collusions
Secure Vault: A privacy preserving reliable architecture for Secure Social Networking
A Performance Comparison of Wireless Ad Hoc Network Routing Protocols under Security Attack
A novel intrusion detection framework for Wireless Sensor Networks
Security Enhancement of the Authentication Protocol for RFID Systems
Image Enhancement Based on Nonsubsampled Contourlet Transform
Data aggregation for information authentication in VANETs
Study of structural features of handwritten grapheme 'th' for writer identification
Waveform Analysis Mathematic Based on Ultrasonic Displacement Measurement
Webpage Encryption Based on Polymorphic Javascript Algorithm
Metrics-based Evaluation of Slicing Obfuscations
An Eco-Defending Architecture for Network Security Based on Immuninty and Mobile Agents
Introduction to the Internet of Things security: Standardization and research challenges
A New Source Address Validation Scheme Based on IBS
State of the art: Signature verification system
Research on Active Defence Technology with Host Intrusion Based on K-Nearest Neighbor Algorithm of Kernel
Chaotic Quantum Cryptography
Resource Classification Based Negotiation in Web Services
Shibboleth Access for Resources on the National Grid Service (SARoNGS)
Automatic Verification of Simulatability in Security Protocols
Research on 3D Reconstruction Procedure of Marked Points for Large Workpiece Measurement
Two Efficient Fragile Web Page Watermarking Schemes
Self-selecting Sub-secret Keys Sharing Scheme Based on Polynomials over Elliptic Curve
Testability Analysis of Grounding Grids Using Network Transformation
Algebraic Attack to SMS4 and the Comparison with AES
TWalker: An efficient taint analysis tool
An Improving Technique of Color Histogram in Segmentation-based Image Retrieval
Security modeling and analysis of a self-cleansing intrusion tolerance technique
Research on Video Information Camouflage Processing Algorithm Based on Pulse Amplitude Modulation
A Novel Micropayment Scheme with Complete Anonymity
A distributed and cooperative user authentication framework
Secure Disk with Authenticated Encryption and IV Verification
An Effective Texture Spectrum Descriptor
Privacy Protection for Speech Information
Hierarchical Multi-Party Key Agreement for Wireless Networks
Browser-Side Countermeasures for Deceptive Phishing Attack
End-to-end security policy description and management for collaborative system
Sinusoidal Signals Pattern Based Robust Video Watermarking in the 3D-CWT Domain
Security assurance of local data stored by HTML5 web application
Universal Steganalysis Based on Statistical Models Using Reorganization of Block-based DCT Coefficients
Threshold Proxy Signature Scheme with Strong Real-Time Efficiency
An Automated Mechanism of Security Test on Network Protocols
Energy efficient delay leap routing in multicast using feed back neural networks
Adaptive Spatially Postprocessing Technique to Remove Blocking Artifacts for DCT Coded Image
Side channel analysis techniques towards a methodology for reverse engineering of Java Card byte-code
A Frequent-Domain VideoTranscoder with Spatial Downscaling for H.264/AVC
Slow port scanning detection
Secure firmware architecture using virtual hard disks
AES: Current security and efficiency analysis of its alternatives
Secure Access Control Scheme of RFID System Application
The five modes AES applications in sounds and images
Threat modeling approaches and tools for securing architectural designs of an e-banking application
Intelligent response system to mitigate the success likelihood of ongoing attacks
Towards enforcing on-the-fly policies in BYOD environments
SARBAC07: A Scoped Administration Model for RBAC with Hybrid Hierarchy
Patient's perception of health information security: The case of selected public and private hospitals in Addis Ababa
Information Security Monitoring System Based on Data Mining
A High Embedding Efficiency Steganography Scheme for Wet Paper Codes
Computational Forensics: Towards Hybrid-Intelligent Crime Investigation
A novel psychovisual model on an independent video frame for an almost lossless compression
Secure E-Passport Protocol Using Elliptic Curve Diffie-Hellman Key Agreement Protocol
Quantitative penetration testing with item response theory
Study on the Control of a Two-wheeled Unstable Vehicle Based on Sensitivity Analysis
A Comparative Statistical Analysis of Pseudorandom Bit Sequences
Distributed Video Coding Based on Multiple Description
A new approach to evaluating security assurance
ID-Based Non-interactive Deniable Authentication Protocol
A New Abuse-Free Fair Electronic Payment Protocol
UDT -Authentication Option field: An approach
9th International Conference on Information Assurance and Security, IAS 2013, Gammarth, Tunisia, December 4-6, 2013
Robust image document authentication code with autonomous biometrie key generation, selection, and updating in cloud environment
Integrating Multi-Modal Circuit Features within an Efficient Encryption System
Inclusion of a Montgomery Multiplier Unit into an Embedded Processor's Datapath to Speed-up Elliptic Curve Cryptography
The Influence of Frame Length on Speaker Identification Performance
A fast eavesdropping attack against touchscreens
MRDWA: Multi-role Dynamic Weighting Aggregation Algorithm in Event Driven Wireless Sensor Networks
Network Level Privacy for Wireless Sensor Networks
Layer Key Management Scheme on Wireless Sensor Networks
A Theoretical Security Model for Access Control and Security Assurance
Fuzzy Intrusion Detection System via Data Mining Technique with Sequences of System Calls
Security preferences specification and implementation in a service-based workflow
Realistic Threats to Self-Enforcing Privacy
Certificateless One-Way Authenticated Two-Party Key Agreement Protocol
Optimum fusion of visual and thermal face images for recognition
An efficient scheme for anonymous communication in IoT
Threats Identification in Healthcare Information Systems Using Genetic Algorithm and Cox Regression
Quantum Secure Direct Communication Based on Partially Entangled States
A Weighted Stego Image Detector for Sequential LSB Replacement
Efficient defense strategies to minimize attackers' success probabilities in honeynet
New Greedy Algorithm for Computing Double-Base Chains
An Improved Scheme of Single Sign-on Protocol
A New Scheme for Multisensor Image Fusion System
Application of Language Models to Suspect Prioritisation and Suspect Likelihood in Serial Crimes
Nonlocal Curvature-Driven Diffusion Model for Image Inpainting
CARMA: Composable-Adaptive Resource Management Authorization for ubiquitous environments
Analysis on Lightweight Block Cipher, KTANTAN
Image Denoising and Magnification via Kernel Fitting and Modified SVD
A High Quality Reversible Data Hiding Method Using Interpolation Technique
A Purchase Protocol with Live Cardholder Authentication for Online Credit Card Payment
Image Encryption with Discrete Fractional Cosine Transform and Chaos
A Purpose-Based Access Control Model
Research on Integration of Safety Analysis in Model-Driven Software Development
The Method of Equalization Based on Iterative Interference Cancellation for SCCPM System
AES-512: 512-bit Advanced Encryption Standard algorithm design and evaluation
A New Histogram Based Image Watermarking Scheme Resisting Geometric Attacks
Towards secure end-to-end data aggregation in AMI through delayed-integrity-verification
Discriminative multinomial Naïve Bayes for network intrusion detection
Infrared Face Recognition Based on Radiant Energy and Curvelet Transformation
Cluster Head election in Wireless Sensor Networks
Dynamically Constrained One-Bit Transform for Motion Vector Estimation
Implementation of an Electronic Voting System with Contactless IC Cards for Small-Scale Voting
Cramer-Rao Lower Bound for Non-coherent TOA Estimation with Impulse Signal
ECC-Cache: A Novel Low Power Scheme to Protect Large-Capacity L2 Caches from Transiant Faults
Novel Fast Mode Decision Algorithm for P-Slices in H.264/AVC
On the capacity of fingerprinting codes against unknown size of colluders
Evaluation and Simulation on the Performance of DHTs Required by P2PSIP
Early DoS Attack Detection using Smoothened Time-Series andWavelet Analysis
Research on System of Chinese Document Copy Detection
Video Identification Using Spatio-temporal Salient Points
Intrusion detection based on k-means clustering and OneR classification
Automatic Patch Generation for Buffer Overflow Attacks
Improvement of an EPC Gen2 Compliant RFID Authentication Protocol
Function-Based Authorization Constraints Specification and Enforcement
Acoustic-Based Security System: Towards Robust Understanding of Emergency Shout
Reconciling IHE-ATNA profile with a posteriori contextual access and usage control policy in healthcare environment
A semantic analysis approach to manage IDS alerts flooding
Image Retrieve Based on Primary Clusters
Common Friends Discovery with Privacy and Authenticity
Robust video watermarking against JPEG compression in 3D-DWT domain
Enhance hardware security using FIFO in pipelines
Certified Email Delivery with Offline TTP
Fast Fractal Image Coding Using Ambient-Cross Sum of Normalized Block
Enhanced Availability and Security by Rate Control Using Extended Policy Framework in SELinux
Fuzzy Key Extraction from Fingerprint Biometrics based on Dynamic Quantization Mechanism
Extending Dempster Shafer method by multilayer decision template in classifier fusion
Benchmarking IP blacklists for financial botnet detection
RSA/Shift Secured IFFT/FFT Based OFDM Wireless System
Evaluating Intrusion Detection Systems in High Speed Networks
PHAL-256 - Parameterized Hash Algorithm
GOP-Level Transmission Distortion Modeling for Video Streaming over Mobile Networks
Non-Stationary Markov Models and Anomaly Propagation Analysis in IDS
Redundant Ridgelet Transform and its Application to Image Processing
A New Feature Selection Method for Malcodes Detection
Towards Provably Secure On-demand Source Routing in MANET
Detection of Abnormal Sound Using Multi-stage GMM for Surveillance Microphone
Analysis and Improvement of a Proxy Blind Multi-signature Scheme without a Secure Channel
Detection of Hidden Information in Webpages Based on Randomness
Modeling and Analyzing the Spread of Worms with Bilinear Incidence Rate
FPGA/ASIC based Cryptographic Object Store System
DCT-Based Robust Watermarking with Swarm Intelligence Concepts
Key based bit level genetic cryptographic technique (KBGCT)
Secure Universal Plug and Play network
Two tier detection model for misbehavior of low-power nodes in virtual MIMO based wireless networks
Provenance Tracking with Bit Vectors
Speaker Identification by Multi-Frame Generative Models
Fast intrusion detection system based on Flexible Neural Tree
f8 Keystream Generator with SMS4 as Core Algorithm
Systematic Website Verification for Privacy Protection
Quantifying authentication Levels of Assurance in grid environments
Application of Rough Set Theory in Coal Gangue Image Process
An Accurate Image Juggling Authentication Algorithm
Vulnerability Assessment by Learning Attack Specifications in Graphs
A DRM framework towards preventing digital piracy
Surveying the Wireless Body Area Network in the realm of wireless communication
Comparison of real-time DSP-based edge detection techniques for license plate detection
An Audio Watermarking Method of Resistance Statistics Attack Based on Psychoacoustic Model
ARMLCC: Adaptive and recovery-based Multi-Layer Connected Chain Mechanism for Multicast Source Authentication
Action-Based Access Control for Web Services
An Analysis of Database Watermarking Security
Scaling IDS construction based on Non-negative Matrix factorization using GPU computing
Insider DoS Attacks on Epidemic Propagation Strategies of Network Reprogramming in Wireless Sensor Networks
Anomalous Payload Detection System Using Analysis of Frequent Sequential Pattern
A Digital Certificate Application Scheme in Content Protection System for High Definition Digital Interface
A New Scheme to Privacy-Preserving Collaborative Data Mining
Generative Models for Fingerprint Individuality using Ridge Types
Reducing Specular Reflection Components of Chrome-Plated Surface with Varying Light Direction
Security Analysis of the Kerberos Protocol Using BAN Logic
An Authentication Scheme Using Non-Commutative Semigroups
Research on Intrusion Detection Based on an Improved SOM Neural Network
A Rapid Algorithm and its Implementation for Modular Inversion
Image Retrieval Based on 2D Histogram of Interest Points
Economical Dental Stereoradiography in Digital Era
Intrusion Detection Based on One-class SVM and SNMP MIB Data
Developing a grand strategy for Cyber War
Building Trust Territory in Ad Hoc Networks
Organized Anonymous Agents
Swarm Intelligence: Ant-Based Robot Path Planning
Image De-noising Based on Nonlocal Diffusion Tensor
Hierarchical object log format for normalisation of security events
The number of the isomorphism classes of hyperelliptic curves of genus four over finite fields
Accurate Application-Specific Sandboxing for Win32/Intel Binaries
On the Definition and Policies of Confidentiality
An Anti-attack Watermarking Based on Synonym Substitution for Chinese Text
Curvelet Domain Watermark Detection Using Alpha-Stable Models
A Composite Network Security Assessment
Augmented Addition Operation of Conic Curves over Ring Zn
Craniofacial Superimposition in Forensic Identification using Genetic Algorithms
Research on Equiponderant Forwarding within Multi-nexthop Interfaces
Secure E-Commerce Protocol for Purchase of e-Goods - Using Smart Card
Grounding Grid Corrosion Diagnosis Based on Large Change Sensitivity
New Strategy of Efficient SPA-resistant Exponentiations
A Novel Multiple Description Coding Frame Based on Reordered DCT Coefficients and SPIHT Algorithm
Anonymous service access for Vehicular Ad hoc Networks
Development of a Java-Oriented Software General Component Library
High capacity and inaudibility audio steganography scheme
How to grant less permissions to facebook applications
The Improving of IKE with PSK for Using in Mobile Computing Environments
A Performance Evaluation of Security Mechanisms for Web Services
Research on Early Warning for Worm Propagation Based on Area-Alert-Level
Assessment of Color Video Quality with Singular Value Decomposition of Complex Matrix