Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Andrea Turrini

h-index 15 View on Semantic Scholar

We have 2 of 66 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees

Branch predictors improve instruction-level parallelism in modern processors and are commonly modeled using saturating counters. However, classical saturating counters are deterministic and thus vulnerable to side-channel attacks: an attacker can manipulate the counter state and infer the branch direction of a victim p...

Zhi-Ming Chi, Lu-Tan Zhao, Depeng Liu et al. · 0 citations
Preprint Aug 2026

PAC Approximation and DIRECT Optimization for Parametric Markov Models

This paper adopts the scenario approach to efficiently synthesize a probably approximately correct PAC approximation, and integrates the DIRECT (DIviding RECTangles) algorithm for derivative-free global optimization over the parameter space.

Zhi-Ming Chi, Ying Liu, Andrea Turrini et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.