yusuke1997/dblp-id-title huggingface dataset:
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types
SMT-Based Verification of Persistency Invariants of Px86 Programs
A Simpler Reduction Theorem for x86-TSO
Developing Verified Programs with Dafny
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX
Readable Formal Proofs
MCBAT: Model Counting for Constraints over Bounded Integer Arrays
Incremental Benchmarks for Software Verification Tools and Techniques
Cyber War, Formal Verification and Certified Infrastructure
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue
A Verification Approach for System-Level Concurrent Programs
Result Certification of Static Program Analysers with Automated Theorem Provers
The L4.verified Project - Next Steps
Verify Your Runs
Automated Code Proofs on a Formal Model of the X86
The Matrix Reproved (Verification Pearl)
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving
Scalable Specification and Reasoning: Challenges for Program Logic
DCSynth: Guided Reactive Synthesis with Soft Requirements
Formalising Executable Specifications of Low-Level Systems
Expression Decomposition in a Rely/Guarantee Context
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Constructing Semantic Models of Programs with the Software Analysis Workbench
The SPARK Team: Languages, Ambiguity, and Verification
A Tree-Based Approach to Data Flow Proofs
Efficient Refinement Checking in VCC
Specification: The Biggest Bottleneck in Formal Methods and Autonomy
Compositional Network Mobility
Exploiting Security Vulnerabilities in Intermittent Computing
Addressing Side-Channel Vulnerabilities in the Discrete Ziggurat Sampler
FPGA-Based Acceleration of Homomorphic Convolution with Plaintext Kernels - Extended Abstract
Transferability of Evasion Attacks Against FHE Encrypted Inference - Official Work-in-Progress Paper
A Scalable and Systolic Architectures of Montgomery Modular Multiplication for Public Key Cryptosystems Based on DSPs
Khudra: A New Lightweight Block Cipher for FPGAs
A Few Negative Results on Constructions of MDS Matrices Using Low XOR Matrices
ML Based Improved Differential Distinguisher with High Accuracy: Application to GIFT-128 and ASCON
Combining Montgomery Multiplication with Tag Tracing for the Pollard Rho Algorithm in Prime Order Fields
An Efficient Generic Insider Secure Signcryption with Non-Interactive Non-Repudiation
Automated Classification of Web-Application Attacks for Intrusion Detection
Cheap and Cheerful: A Low-Cost Digital Sensor for Detecting Laser Fault Injection Attacks
Experimental Results on Higher-Order Differential Spectra of 6 and 8-bit Invertible S-Boxes
Modified Transparency Order Property: Solution or Just Another Attempt
Big Brother Is Watching You: A Closer Look at Backdoor Construction
Light but Tight: Lightweight Composition of Serialized S-Boxes with Diffusion Layers for Strong Ciphers
Security, Privacy, and Applied Cryptography Engineering - 14th International Conference, SPACE 2024, Kottayam, India, December 14-17, 2024, Proceedings
Computing the Distribution of Differentials over the Non-linear Mapping χ
Implementing Complete Formulas on Weierstrass Curves in Hardware
Security, Privacy, and Applied Cryptography Engineering - 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings
"There's Always Another Counter": Detecting Micro-Architectural Attacks in a Probabilistically Interleaved Malicious/Benign Setting
Security, Privacy, and Applied Cryptography Engineering - 11th International Conference, SPACE 2021, Kolkata, India, December 10-13, 2021, Proceedings
On Threat of Hardware Trojan to Post-Quantum Lattice-Based Schemes: A Key Recovery Attack on SABER and Beyond
Short Integrated PKE+PEKS in Standard Model
Performance and Security Evaluation of AES S-Box-Based Glitch PUFs on FPGAs
SIMD-Based Implementations of Sieving in Integer-Factoring Algorithms
SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology
Hierarchical Ring Signatures Revisited - Unconditionally and Perfectly Anonymous Schnorr Version
Efficient Implementation of Private License Plate Matching Protocols
Parasite: Mitigating Physical Side-Channel Attacks Against Neural Networks
Privacy-Preserving Graph-Based Machine Learning with Fully Homomorphic Encryption for Collaborative Anti-money Laundering
Lattice Based Identity Based Unidirectional Proxy Re-Encryption Scheme
Towards Formal Analysis of Key Control in Group Key Agreement Protocols
High-Order Collision Attack Vulnerabilities in Montgomery Ladder Implementations of RSA
Towards Securing Low-Power Digital Circuits with Ultra-Low-Voltage Vdd Randomizers
Benchmarking Backdoor Attacks on Graph Convolution Neural Networks: A Comprehensive Analysis of Poisoning Techniques
Robust Adaptive Cloud Intrusion Detection System Using Advanced Deep Reinforcement Learning
Investigating SRAM PUFs in large CPUs and GPUs
KEMTLS vs. Post-quantum TLS: Performance on Embedded Systems
The Crisis of Standardizing DRM: The Case of W3C Encrypted Media Extensions
Similarity Based Interactive Private Information Retrieval
NEON SIKE: Supersingular Isogeny Key Encapsulation on ARMv7
Deep Freezing Attacks on Capacitors and Electronic Circuits
A Secure and Efficient Implementation of the Quotient Digital Signature Algorithm (qDSA)
NID-TGN: Spatiotemporal Intrusion Detection System for IoT Networks
SideLink: Exposing NVLink to Covert and Side-Channel Attacks Official Work-in-Progress Paper
Correlation-Immune Boolean Functions for Leakage Squeezing and Rotating S-Box Masking against Side Channel Attacks
Token Open Secure and Post-quantum Updatable Encryption Based on MLWE
Template-Based Fault Injection Analysis of Block Ciphers
Light Weight Key Establishment Scheme for Wireless Sensor Networks
Attacks and Countermeasures for Digital Microfluidic Biochips - Extended Abstract
Analysis and Improvements of the DPA Contest v4 Implementation
Breaking Cryptographic Implementations Using Deep Learning Techniques
Anonymous Identity-Based Identification Scheme in Ad-Hoc Groups without Pairings
Spectral Characterization of Iterating Lossy Mappings
A Time Series Approach for Profiling Attack
Security, Privacy, and Applied Cryptography Engineering - Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings
Compact Accumulator Using Lattices
Simulations of Optical Emissions for Attacking AES and Masked AES
Adversarial Malware Detection - Official Work-in-Progress Paper
Relaxing IND-CCA: Indistinguishability against Chosen Ciphertext Verification Attack
Yet Another Strong Privacy-Preserving RFID Mutual Authentication Protocol
A Machine Vision Attack Model on Image Based CAPTCHAs Challenge: Large Scale Evaluation
Impact of Extending Side Channel Attack on Cipher Variants: A Case Study with the HC Series of Stream Ciphers
Deployment of EMC-Compliant IC Chip Techniques in Design for Hardware Security - Invited Paper
SoK - Network Intrusion Detection on FPGA
Safe-Error Attacks on SIKE and CSIDH
Randomized Batch Verification of Standard ECDSA Signatures
Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach
Architecture Considerations for Massively Parallel Hardware Security Platform - Building a Workhorse for Cryptography as a Service
Strong Security and Privacy of RFID System for Internet of Things Infrastructure
One Trace Is All It Takes: Machine Learning-Based Side-Channel Attack on EdDSA
Variable-Length Bit Mapping and Error-Correcting Codes for Higher-Order Alphabet PUFs
Security Analysis of ASCON Cipher Under Persistent Faults - Official Work-in-Progress Paper
Malware Characterization Using Windows API Call Sequences
Implementing Cryptographic Pairings at Standard Security Levels
PAS-TA-U: PASsword-Based Threshold Authentication with Password Update
Hey Doc, Is This Normal?: Exploring Android Permissions in the Post Marshmallow Era
Security, Privacy, and Applied Cryptography Engineering - 13th International Conference, SPACE 2023, Roorkee, India, December 14-17, 2023, Proceedings
Partially Homomorphic Encryption Schemes over Finite Fields
Towards Practical Attribute-Based Signatures
eSPF: A Family of Format-Preserving Encryption Algorithms Using MDS Matrices
Fibonacci LFSR vs. Galois LFSR: Which is More Vulnerable to Power Attacks?
tPAKE: Typo-Tolerant Password-Authenticated Key Exchange
t-Private Systems: Unified Private Memories and Computation
Quantum Resource Estimates of Grover's Key Search on ARIA
Efficient Protocol for Authenticated Email Search
Card-Based Zero-Knowledge Proof for the Nearest Neighbor Property: Zero-Knowledge Proof of ABC End View
VMI Based Automated Real-Time Malware Detector for Virtualized Cloud Environment
Meet-in-the-Middle Attacks on Round-Reduced Khudra
Breaking Kalyna 128/128 with Power Attacks
A Novel Circuit Design Methodology to Reduce Side Channel Leakage
Encrypted Classification Using Secure K-Nearest Neighbour Computation
Machine Learning Attacks on Low-Cost Reconfigurable XRRO and XRBR PUF Designs
Algorithms for Switching between Boolean and Arithmetic Masking of Second Order
Alphanumeric Shellcode Generator for ARM Architecture
HEDrone: Privacy-Preserving Proof-of-Alibi for Drone Compliance Based on Homomorphic Encryption
Comprehensive Laser Sensitivity Profiling and Data Register Bit-Flips for Cryptographic Fault Attacks in 65 Nm FPGA
Identity-Based Identification Schemes from ID-KEMs
Tackling the Time-Defence: An Instruction Count Based Micro-architectural Side-Channel Attack on Block Ciphers
Android Malware Analysis Using Ensemble Features
MILP Based Differential Attack on Round Reduced WARP
d-MUL: Optimizing and Implementing a Multidimensional Scalar Multiplication Algorithm over Elliptic Curves
Encrypted SQL Arithmetic Functions Processing for Secure Cloud Database
A Short Note on a Paper Titled: A Delaunay Quadrangle-Based Fingerprint Authentication System with Template Protection Using Topology Code for Local Registration and Security Enhancement
An Efficient Robust Secret Sharing Scheme with Optimal Cheater Resiliency
Improving Application Security through TLS-Library Redesign
Boosting Higher-Order Correlation Attacks by Dimensionality Reduction
Fault Injection Attacks: Attack Methodologies, Injection Techniques and Protection Mechanisms - A Tutorial
Predictive Aging of Reliability of Two Delay PUFs
Security, Privacy, and Applied Cryptography Engineering - 10th International Conference, SPACE 2020, Kolkata, India, December 17-21, 2020, Proceedings
Robustness Against Adversarial Attacks Using Dimensionality
Results on the Key Space of Group-Ring NTRU: The Case of the Dihedral Group
Security, Privacy, and Applied Cryptography Engineering - 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings
Gain: Practical Key-Recovery Attacks on Round-reduced PAEQ
HWGN 2 : Side-Channel Protected NNs Through Secure and Private Function Evaluation
Improved Key Recovery Attack on Round-reduced Hierocrypt-L1 in the Single-Key Setting
Security, Privacy, and Applied Cryptography Engineering - 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Efficient and Secure Elliptic Curve Cryptography for 8-bit AVR Microcontrollers
Re-markable: Stealing Watermarked Neural Networks Through Synthesis
Solving Binary MQ with Grover's Algorithm
Batch Verification of EdDSA Signatures
A New Approach to Secrecy Amplification in Partially Compromised Networks (Invited Paper)
Ring-LWE: Applications to Cryptography and Their Efficient Realization
Differential Power Analysis Attack on SIMON and LED Block Ciphers
CASH: Cellular Automata Based Parameterized Hash
Certain Observations on ACORN v3 and the Implications to TMDTO Attacks
Differential Fault Attack on SKINNY Block Cipher
Adaptively Secure Efficient Lattice (H)IBE in Standard Model with Short Public Parameters
Challenges in Deep Learning-Based Profiled Side-Channel Analysis
A Differential Fault Attack on Grain-128a Using MACs
Dual-Tone Multi-Frequency Assisted Acoustic Side Channel Attack to Retrieve Dialled Call Log
Some Randomness Experiments on TRIVIUM
How Many Cameras Do You Need? Adversarial Attacks and Countermeasures for Robust Perception in Autonomous Vehicles
Security, Privacy, and Applied Cryptography Engineering - 9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019, Proceedings
Security, Privacy, and Applied Cryptography Engineering - 4th International Conference, SPACE 2014, Pune, India, October 18-22, 2014. Proceedings
Analyzing Traffic Features of Common Standalone DoS Attack Tools
Towards Fair and Efficient Evaluations of Leaking Cryptographic Devices - Overview of the ERC Project CRASH, Part I (Invited Talk)
On the Masking-Friendly Designs for Post-quantum Cryptography
Revisiting the Security of LPN Based RFID Authentication Protocol and Potential Exploits in Hardware Implementations
Exploiting the Leakage: Analysis of Some Authenticated Encryption Schemes
Fiat-Shamir with Aborts: From Identification Schemes to Linkable Ring Signatures
Cryptographically Secure Multi-tenant Provisioning of FPGAs
An Industrial Outlook on Challenges of Hardware Security in Digital Economy - Extended Abstract -
SHELBRS: Location-Based Recommendation Services Using Switchable Homomorphic Encryption
Cryptanalysis of Short and Provable Secure Lattice-Based Signature Scheme
Spliced Region Detection and Localization in Digital Images Based on CNN Learning Guided by Color Transitions and Surface Texture
SpookChain: Chaining a Sponge-Based AEAD with Beyond-Birthday Security
How Not to Combine RC4 States
Protecting the Most Significant Bits in Scalar Multiplication Algorithms
Logarithmic-Size (Linkable) Ring Signatures from Lattice Isomorphism Problems
Designing for Attack Surfaces: Keep Your Friends Close, but Your Enemies Closer
DLShield: A Defense Approach Against Dirty Label Attacks in Heterogeneous Federated Learning
Cryptanalysis with Countermeasure on the SIS Based Signature Scheme
An Efficient Parallel Implementation of Impossible-Differential Cryptanalysis for Five-Round AES-128
Internal State Recovery Attack on Stream Ciphers: Breaking BIVIUM
From Selective-ID to Full-ID IBS without Random Oracles
A Methodology for the Characterisation of Leakages in Combinatorial Logic
Real Processing-In-Memory with Memristive Memory Processing Unit
Online Testing Entropy and Entropy Tests with a Two State Markov Model - Invited Paper
Preimage Analysis of the Maelstrom-0 Hash Function
An Analysis of the Hardware-Friendliness of AMQ Data Structures for Network Security
RemOD: Operational Drift-Adaptive Intrusion Detection
Formal Analysis of PUF Instances Leveraging Correlation-Spectra in Boolean Functions
FNR: Arbitrary Length Small Domain Block Cipher Proposal
On the Performance of Convolutional Neural Networks for Side-Channel Analysis
EdSIDH: Supersingular Isogeny Diffie-Hellman Key Exchange on Edwards Curves
ProTro: A Probabilistic Counter Based Hardware Trojan Attack on FPGA Based MACSec Enabled Ethernet Switch
Fault Tolerant Infective Countermeasure for AES
An Observation of Non-randomness in the Grain Family of Stream Ciphers with Reduced Initialization Round
Post-quantum DNSSEC over UDP via QNAME-Based Fragmentation
Mutual Friend Attack Prevention in Social Network Data Publishing
AEC: A Practical Scheme for Authentication with Error Correction
Post-quantum Multi-client Conjunctive Searchable Symmetric Encryption from Isogenies
Some Results on Related Key-IV Pairs of Grain
Lightweight and Secure PUFs: A Survey (Invited Paper)
Faster and More Energy-Efficient Equation Solvers over GF(2)
NewHope on ARM Cortex-M
Efficient Software Implementation of Laddering Algorithms Over Binary Elliptic Curves
Practical Fault Attacks on Minalpher: How to Recover Key with Minimum Faults?
High Speed High Assurance Implementations of Multivariate Quadratic Based Signatures - Extended Abstract
An Insecurity Study of Ethereum Smart Contracts
Modeling Large S-box in MILP and a (Related-Key) Differential Attack on Full Round PIPO-64/128
Vulnerability of Dynamic Masking in Test Compression
Fault Based Almost Universal Forgeries on CLOC and SILC
BlockDoor: Blocking Backdoor Based Watermarks in Deep Neural Networks - Official Work-in-Progress Paper
Security, Privacy, and Applied Cryptography Engineering - 7th International Conference, SPACE 2017, Goa, India, December 13-17, 2017, Proceedings
Breaking Hitag 2 Revisited
ExtPFA: Extended Persistent Fault Analysis for Deeper Rounds of Bit Permutation Based Ciphers with a Case Study on GIFT
A Forensic Technique to Detect Copy-Move Forgery Based on Image Statistics
Dynamic Attribute Based Group Signature with Attribute Anonymity and Tracing in the Standard Model
Faster Randomness Testing with the NIST Statistical Test Suite
"We Must Protect the Transformers": Understanding Efficacy of Backdoor Attack Mitigation on Transformer Models
Three Design Dimensions of Secure Embedded Systems
Differential Fault Attack on Grain v1, ACORN v3 and Lizard
Reinforcement Learning-Based Design of Side-Channel Countermeasures
Hardware Implementation of Masked SKINNY SBox with Application to AEAD
The Schedulability of AES as a Countermeasure against Side Channel Attacks
A Study of Persistent Fault Analysis
Secure Realization of Lightweight Block Cipher: A Case Study Using GIFT
Related-Key Differential Cryptanalysis of Full Round CRAFT
Security, Privacy, and Applied Cryptography Engineering - 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings
Network Data Remanence Side Channel Attack on SPREAD, H-SPREAD and Reverse AODV
Almost Optimum Secret Sharing with Cheating Detection
S-boxes, Boolean Functions and Codes for the Resistance of Block Ciphers to Cryptographic Attacks, with or without Side Channels
Correlation Power Analysis on KASUMI: Attack and Countermeasure
What Do You See? Transforming Fault Injection Target Characterizations
UN-SPLIT: Attacking Split Manufacturing Using Link Prediction in Graph Neural Networks
Decomposed S-Boxes and DPA Attacks: A Quantitative Case Study Using PRINCE
Bias Cancellation of MixColumns
Zero-Knowledge Proofs for SIDH Variants with Masked Degree or Torsion
Analysis of Diagonal Constants in Salsa
Reconfigurable LUT: A Double Edged Sword for Security-Critical Applications
Linux Malware Detection Using eXtended-Symmetric Uncertainty
Security, Privacy, and Applied Cryptography Engineering - Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings
Investigating the Application of One Instruction Set Computing for Encrypted Data Computation
On Configurable SCA Countermeasures Against Single Trace Attacks for the NTT - A Performance Evaluation Study over Kyber and Dilithium on the ARM Cortex-M4
Light-OCB: Parallel Lightweight Authenticated Cipher with Full Security
CoPrIME: Complete Process Isolation Using Memory Encryption - Extended Abstract
Reduction in Lossiness of RSA Trapdoor Permutation
Binary video codec for data reduction in wireless visual sensor networks
Comparison of two real-time hand gesture recognition systems involving stereo cameras, depth camera, and inertial sensor
Real-Time Image and Video Processing 2010, Brussels, Belgium, April 16, 2010
Benchmarking real-time HEVC streaming
A generic software-framework for distributed, high-performance processing of multi-view video
A flexible software architecture for scalable real-time image and video processing applications
Motion estimation through efficient matching of a reduced number of reliable singular points
In-network adaptation of SHVC video in software-defined networks
Automatic 2D to 3D conversion implemented for real-time applications
A visibility improvement technique for fog images suitable for real-time application
A fast eye detector using corners, color, and edges
Real-time image processing based on robust linear combinations of order statistics
Multithreaded real-time 3D image processing software architecture and implementation
How fast can one numerically reconstruct digitally recorded holograms?
Digital ruler: real-time object tracking and dimension measurement using stereo cameras
Real-time 3D light field transmission
Large object extraction for binary images on the GPU
Real-time preview for layered depth video in 3D-TV
Determinant of homography-matrix-based multiple-object recognition
A novel fast median filter algorithm without sorting
Customized Nios II multi-cycle instructions to accelerate block-matching techniques
Image resolution enhancement using edge extraction and sparse representation in wavelet domain for real-time application
Fuzzy set and directional image processing techniques for impulsive noise reduction employing DSP
DSPACE hardware architecture for on-board real-time image/video processing in European space missions
Super-resolution algorithms based on atomic wavelet functions in real-time processing of video sequences
Invariant methods for real-time object recognition and image understanding
Static hand gesture recognition based on finger root-center-angle and length weighted Mahalanobis distance
How fast can one arbitrarily and precisely scale images?
Accelerating sub-pixel marker segmentation using GPU
Design of a 3D-IC multi-resolution digital pixel sensor
Impact of different cloud deployments on real-time video applications for mobile video cloud users
A hardware-accelerated approach to computing multiple image similarity measures from joint histogram
2000 fps multi-object tracking based on color histogram
A cross-based filter for fast edge-preserving smoothing
A low-cost embedded platform for car's surrounding vision system
Low complexity DCT engine for image and video compression
Improving wavelet denoising based on an in-depth analysis of the camera color processing
Parallel implementation of a hyperspectral data geometry-based estimation of number of endmembers algorithm
An efficient illuminance-reflectance nonlinear video stream enhancement model
Hardware-based JPEG 2000 video coding system
Laser based method for real-time three-dimensional monitoring of chest wall movement
Video surveillance using distance maps
Efficient object tracking in WAAS data streams
Real-time video streaming in mobile cloud over heterogeneous wireless networks
A simulator tool set for evaluating HEVC/SHVC streaming
Moving targets tracking on a mobile infrared platform and its real-time application on GPU
Iris unwrapping using the Bresenham circle algorithm for real-time iris recognition
Print-from-video: computationally efficient outlier reduction pattern filtering
Noise suppression in video sequences applying fuzzy vectorial directional algorithms
Impulsive noise suppression in color images based on the geodesic digital paths
Architecture for hardware driven image inspection based on FPGAs
Optimal camera exposure for video surveillance systems by predictive control of shutter speed, aperture, and gain
Ghost removing for HDR real-time video stream generation
A modified prediction scheme of the H.264 multiview video coding to improve the decoder performance
The QoE implications of ultra-high definition video adaptation strategies
Programming Cell/BE and GPUs systems for real-time video encoding
Object tracking using multiple camera video streams
A rapid prototyping methodology to implement and optimize image processing algorithms for FPGAs
Network-aware scalable video monitoring system for emergency situations with operator-managed fidelity control
Rapid object candidate detection using increment sign correlation
Phase correlation based adaptive mode decision for the H.264/AVC
Real-time structured light patterns coding with subperfect submaps
Real-time algorithm enabling high dynamic range imaging and high frame rate exploitation for custom CMOS image sensor system implemented by FPGA with co-processor
On the use of real-time agents in distributed video analysis systems
Optimization of tone-mapping functions in video cameras for high dynamic range images