Theories of Homomorphic Encryption Unification and the Finite Variant Property Read more about Theories of Homomorphic Encryption Unification and the Finite Variant Property
A Rewriting-based Forwards Semantics for Maude-NPA Read more about A Rewriting-based Forwards Semantics for Maude-NPA
Asymmetric Unification A New Unification Paradigm for Cryptographic Protocol Analysis Read more about Asymmetric Unification A New Unification Paradigm for Cryptographic Protocol Analysis
Sequentional Protocol Composition in Maude-NPA Read more about Sequentional Protocol Composition in Maude-NPA
Preemptive Intrusion Detection Theoretical Framework and Real-World Measurements Read more about Preemptive Intrusion Detection Theoretical Framework and Real-World Measurements
Differentially Private Distributed Optimization Read more about Differentially Private Distributed Optimization
Entropy minimizing Mechanism for Differential Privacy of Discrete time Linear Feedback Systems Read more about Entropy minimizing Mechanism for Differential Privacy of Discrete time Linear Feedback Systems
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells Read more about Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Path By Path Output Regulation of Switched Systems With a Receding Horizon of Modal Knowledge Read more about Path By Path Output Regulation of Switched Systems With a Receding Horizon of Modal Knowledge
Stabilization of Markovian Jump Linear Systems With Log-Quantized Feedback Read more about Stabilization of Markovian Jump Linear Systems With Log-Quantized Feedback