yusuke1997/dblp-id-title huggingface dataset:
DASGC-Unet: An Attention Network for Accurate Segmentation of Liver CT Images
Robust Gait Recognition Based on Spatio-Temporal Fusion Network
Exponential Stability of Switched Time-varying Delayed Neural Networks with All Modes Being Unstable
Additive Composition of Supervised Self Organizing Maps
Unsupervised Video Object Segmentation Based on Mixture Models and Saliency Detection
An Updatable Classifier Diversity Measure Based on the ER Rule
Neural Based Grey Nonlinear Control for Real-World Example of Mechanical Systems
PATCHOUT: Adversarial Patch Detection and Localization using Semantic Consistency
Synchronization of Uncertain Neural Networks with Additive Time-Varying Delays and General Activation Function
GAN Based Three-Stage-Training Algorithm for Multi-view Facial Expression Recognition
Microblog Negative Comments Data Analysis Model Based on Multi-scale Convolutional Neural Network and Weighted Naive Bayes Algorithm
Data Set A is a Pattern Matching Problem
An Image Diagnosis Algorithm for Keratitis Based on Deep Learning
Manifold Preserving CNN for Pixel-Based Object Labelling in Images for High Dimensional Feature spaces
On Global Stability of Delayed BAM Stochastic Neural Networks with Markovian Switching
Enhancing Generalization in Few-Shot Learning for Detecting Unknown Adversarial Examples
Further Research on the Problems of Synchronization for Fractional-Order BAM Neural Networks in Octonion-Valued Domain
Generalized Regression Neural Network Optimized by Genetic Algorithm for Solving Out-of-Sample Extension Problem in Supervised Manifold Learning
The Latent Variable Data Model for Exploratory Data Analysis and Visualisation: A Generalisation of the Nonlinear Infomax Algorithm
KGR: A Kernel-Mapping Based Group Recommender System Using Trust Relations
Parameterless Local Discriminant Embedding
Fuzzy Time Series Models Using Pliant- and Asymptotically Pliant Arithmetic-Based Inference
Long Short-Term Memory Networks with Multiple Variables for Stock Market Prediction
Traffic Sign Recognition in Harsh Environment Using Attention Based Convolutional Pooling Neural Network
Memory Consolidation and Forgetting During Sleep: A Neural Network
COVID-19 Detection from Chest X-rays Using Trained Output Based Transfer Learning Approach
Data Augmentation Generated by Generative Adversarial Network for Small Sample Datasets Clustering
Memristor Crossbar Array Based ACO For Image Edge Detection
Solitary Wave and Periodic Wave Solutions of Generalized Neutral-Type Neural Networks with Delays
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)
Demystifying the Real-Time Linux Scheduling Latency (Artifact)
Minimal Session Types (Artifact)
Godot: All the Benefits of Implicit and Explicit Futures (Artifact)
A Capability-Based Module System for Authority Control (Artifact)
Type-Directed Operational Semantics for Gradual Typing (Artifact)
A Language-Based Version Control System for Python (Artifact)
A Theory of Tagged Objects (Artifact)
Fair Join Pattern Matching for Actors (Artifact)
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact)
Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions (Artifact)
Constrictor: Immutability as a Design Concept (Artifact)
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)
Idris 2: Quantitative Type Theory in Practice (Artifact)
Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms (Artifact)
Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs (Artifact)
Generalizing Shape Analysis with Gradual Types (Artifact)
Practical Type-Based Taint Checking and Inference (Artifact)
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)
Pure Methods for roDOT (Artifact)
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact)
GSOHC: Global Synchronization Optimization for Heterogeneous Computing (Artifact)
A Typing Discipline for Hardware Interfaces (Artifact)
Union Types with Disjoint Switches (Artifact)
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)
Autonomy Today: Many Delay-Prone Black Boxes (Artifact)
On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact)
Toward Tool-Independent Summaries for Symbolic Execution (Artifact)
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact)
The Eureka Programming Model for Speculative Task Parallelism (Artifact)
Faster Classification of Time-Series Input Streams (Artifact)
Data Exploration through Dot-driven Development (Artifact)
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)
Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)
Parallelizing Julia with a Non-Invasive DSL (Artifact)
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact)
Making an Embedded DBMS JIT-friendly (Artifact)
DMAC: Deadline-Miss-Aware Control (Artifact)
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact)
Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers (Artifact)
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)
The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)
Lightweight Session Programming in Scala (Artifact)
Multiparty Session Programming with Global Protocol Combinators (Artifact)
Higher-Order Demand-Driven Program Analysis (Artifact)
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact)
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)
Front Matter - ECRTS 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Runtime Instrumentation for Reactive Components (Artifact)
Deep Static Modeling of invokedynamic (Artifact)
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)
Simultaneous Multithreading and Hard Real Time: Can it be Safe? (Artifact)
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)
Contract Systems Need Domain-Specific Notations (Artifact)
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)
Java Bytecode Normalization for Code Similarity Analysis (Artifact)
Behavioural Types for Local-First Software (Artifact)
Scheduling Self-Suspending Tasks: New and Old Results (Artifact)
The Omnivisor: A real-time static partitioning hypervisor extension for heterogeneous core virtualization over MPSoCs (Artifact)
Type Abstraction for Relaxed Noninterference (Artifact)
Synchron - An API and Runtime for Embedded Systems (Artifact)
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
On the Monitorability of Session Types, in Theory and Practice (Artifact)
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact)
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)
Crêpe: Clock Reconfigurability for Preemption Control (Artifact)
InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact)
WebGlitch: A Randomised Testing Tool for the WebGPU API (Artifact)
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact)
Sensor Fusion Desynchronization Attacks (Artifact)
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact)
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact)
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)
The Essence of Nested Composition (Artifact)
Brand Objects for Nominal Typing (Artifact)
Mutation-Based Lifted Repair of Software Product Lines (Artifact)
Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact)
A First Look at ROS 2 Applications Written in Asynchronous Rust (Artifact)
Transparent Object Proxies for JavaScript (Artifact)
Optimization Coaching for JavaScript (Artifact)
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework (Artifact)
Verifying Lock-Free Search Structure Templates (Artifact)
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact)
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact)
Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)
Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact)
Isospeed: Improving (min, +) Convolution by Exploiting (min, +)/(max, +) Isomorphism (Artifact)
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact)
Front Matter - ECRTS 2021 Artifacts, Table of Contents, Artifact Evaluation Committee
Simultaneous Multithreading Applied to Real Time (Artifact)
Front Matter, Table of Contents, Artifact Evaluation Process, Artifact Evaluation Committee
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)
K8-Scalar: a workbench to compare autoscalers for container-orchestrated services (Artifact)
Putting Randomized Compiler Testing into Production (Artifact)
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)
Determinacy Race Detector for Promises (Artifact)
Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)
Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact)
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact)
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact)
Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis (Artifact)
Fine-grained Language Composition: A Case Study (Artifact)
Defining Corecursive Functions in Coq Using Approximations (Artifact)
Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact)
Low-Level Bi-Abduction (Artifact)
JavaScript Sealed Classes (Artifact)
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact)
Elementary Type Inference (Artifact)
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact)
The Duality of Subtyping (Artifact)
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact)
DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact)
PEDroid: Automatically Extracting Patches from Android App Updates (Artifact)
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact)
TreatJS: Higher-Order Contracts for JavaScript (Artifact)
Compositional Programming (Artifact)
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact)
Incremental Computing by Differential Execution (Artifact)
KafKa: Gradual Typing for Objects (Artifact)
Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact)
Dual Priority Scheduling is Not Optimal (Artifact)
One Way to Select Many (Artifact)
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)
Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)
Front Matter - ECRTS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Defining Name Accessibility Using Scope Graphs (Artifact)
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact)
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)
Framework for Static Analysis of PHP Applications (Artifact)
Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact)
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact)
Concurrent Data Structures Linked in Time (Artifact)
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)
NumLin: Linear Types for Linear Algebra (Artifact)
Ensuring Convergence and Invariants Without Coordination (Artifact)
Accumulation Analysis (Artifact)
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact)
Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
Dynamically Generating Callback Summaries for Enhancing Static Analysis (Artifact)
Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact)
VeriFx: Correct Replicated Data Types for the Masses (Artifact)
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
Python Type Hints Are Turing Complete (Artifact)
Automata Learning with an Incomplete Teacher (Artifact)
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)
Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
The Algebra of Patterns - Rocq Proofs (Artifact)
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
Static Typing of Complex Presence Constraints in Interfaces (Artifact)
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact)
Implementation of SHAPES Case Studies (Artifact)
Dynamically Updatable Multiparty Session Protocols (Artifact)
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)
Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling (Artifact)
Scala with Explicit Nulls (Artifact)
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact)
Linear Promises: Towards Safer Concurrent Programming (Artifact)
Modular Verification of State-Based CRDTs in Separation Logic (Artifact)
Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact)
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact)
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)
DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact)
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Qafny: A Quantum-Program Verifier (Artifact)
Predictable GPU Sharing in Component-Based Real-Time Systems (Artifact)
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)
A Formal Link Between Response Time Analysis and Network Calculus (Artifact)
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
Program Tailoring: Slicing by Sequential Criteria (Artifact)
Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts (Artifact)
Front Matter - SEAMS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Contracts in the Wild: A Study of Java Programs (Artifact)
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)
Flow-Sensitive Type-Based Heap Cloning (Artifact)
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)
Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact)
Reconciling Event Structures with Modern Multiprocessors (Artifact)
Transactional Tasks: Parallelism in Software Transactions (Artifact)
Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads (Artifact)
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
API Comparison of CPU-To-GPU Command Offloading Latency on Embedded Platforms (Artifact)
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact)
Optimizing Layout of Recursive Datatypes with Marmoset (Artifact)
Declarative Dynamic Object Reclassification (Artifact)
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
Dependent Types for Class-based Mutable Objects (Artifact)
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)
Owicki-Gries Reasoning for C11 RAR (Artifact)
C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)
Type Tailoring (Artifact)
Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution (Artifact)
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee
Object Inheritance Without Classes (Artifact)
Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact)
Scope States (Artifact)
Blame for Null (Artifact)
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact)
NPM-BUNDLE: Non-Preemptive Multitask Scheduling for Jobs with BUNDLE-Based Thread-Level Scheduling (Artifact)
Differential Privacy for Coverage Analysis of Software Traces (Artifact)
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)
Typed First-Class Traits (Artifact)
CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact)
CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact)
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)
REST: Integrating Term Rewriting with Program Verification (Artifact)
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact)
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization (Artifact)
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact)
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact)
How to Take the Inverse of a Type (Artifact)
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)
On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact)
Evaluations of Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems (Artifact)
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact)
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact)
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)
Ozone: Fully Out-of-Order Choreographies (Artifact)
Definite Reference Mutability (Artifact)
Compiling Volatile Correctly in Java (Artifact)
mist: Refinements of Futures Past (Artifact)
A Theory of (Linear-Time) Timed Monitors (Artifact)
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact)
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
The Time-Triggered Wireless Architecture (Artifact)
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)
Semantics for Noninterference with Interaction Trees (Artifact)
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)
Compiling with Arrays (Artifact)
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact)
Semantic Patches for Java Program Transformation (Artifact)
Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)
Rose: Composable Autodiff for the Interactive Web (Artifact)
Concolic Execution for WebAssembly (Artifact)
Functional Programming for Distributed Systems with XC (Artifact)
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact)
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)
Fling - A Fluent API Generator (Artifact)
Direct Foundations for Compositional Programming (Artifact)
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
Static Analysis of Shape in TensorFlow Programs (Artifact)
Dependent Merges and First-Class Environments (Artifact)
Modeling Cache Coherence to Expose Interference (Artifact)
Fallen Sanctuary: A Higher-Order and Leakage-Resilient Rekeying Scheme
A Compact and High-Performance Hardware Architecture for CRYSTALS-Dilithium
ECDSA White-Box Implementations: Attacks and Designs from CHES 2021 Challenge
On Recovering Affine Encodings in White-Box Implementations
Fast constant-time gcd computation and modular inversion
Speed Reading in the Dark: Accelerating Functional Encryption for Quadratic Functions with Reprogrammable Hardware
Security on Plastics: Fake or Real?
Let us walk on the 3-isogeny graph: efficient, fast, and simple
Phase Modulation Side Channels: Jittery JTAG for On-Chip Voltage Measurements
Efficient Implementations of Rainbow and UOV using AVX2
Sapphire: A Configurable Crypto-Processor for Post-Quantum Lattice-based Protocols
Multi-Value Plaintext-Checking and Full-Decryption Oracle-Based Attacks on HQC from Offline Templates
Faster NTRU-based Bootstrapping in less than 4 ms
Side-Channel Expectation-Maximization Attacks
BipBip: A Low-Latency Tweakable Block Cipher with Small Dimensions
NTT Multiplication for NTT-unfriendly Rings New Speed Records for Saber and NTRU on Cortex-M4 and AVX2
HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures
Secure and efficient transciphering for FHE-based MPC
Analysis and Improvement of Differential Computation Attacks against Internally-Encoded White-Box Implementations
Bit t-SNI Secure Multiplication Gadget for Inner Product Masking
Faster Montgomery multiplication and Multi-Scalar-Multiplication for SNARKs
A Compact and Scalable Hardware/Software Co-design of SIKE
Algebraic Linear Analysis for Number Theoretic Transform in Lattice-Based Cryptography
My other car is your car: compromising the Tesla Model X keyless entry system
Roulette: A Diverse Family of Feasible Fault Attacks on Masked Kyber
KeyVisor - A Lightweight ISA Extension for Protected Key Handles with CPU-enforced Usage Policies
SoK: Fully Homomorphic Encryption over the [Discretized] Torus
Covert Gates: Protecting Integrated Circuits with Undetectable Camouflaging
Minerva: The curse of ECDSA nonces Systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces
Dismantling the AUT64 Automotive Cipher
Probing Secure Composability Without Fresh Randomness: Theory and Application to Ascon
Faster Montgomery and double-add ladders for short Weierstrass curves