Michel A. Kinsy
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2ML×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Towards Deep Encrypted Training: Low-Latency, Memory-Efficient, and High-Throughput Inference for Privacy-Preserving Neural Networks
This paper develops optimized algorithms and a pipeline architecture for high-throughput, memory-efficient batch processing of encrypted neural network inference, significantly improving performance over state-of-the-art methods.
DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
The paper proposes DALC-CT, a dynamic analysis tool that verifies the constant-time property of cryptographic code by comparing instruction mix distributions across multiple execution traces.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.LGRecentApr 18, 2026
Towards Deep Encrypted Training: Low-Latency, Memory-Efficient, and High-Throughput Inference for Privacy-Preserving Neural Networks
This paper develops optimized algorithms and a pipeline architecture for high-throughput, memory-efficient batch processing of encrypted neural network inference, significantly improving performance o…
View →
cs.CRcs.PLRecentApr 18, 2026