×

Found 660 Documents (Results 1–100)

Connecting leakage-resilient secret sharing to practice: scaling trends and physical dependencies of prime field masking. (English) Zbl 07943449

Joye, Marc (ed.) et al., Advances in cryptology – EUROCRYPT 2024. 43rd annual international conference on the theory and applications of cryptographic techniques, Zurich, Switzerland, May 26–30, 2024. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14654, 316-344 (2024).
MSC:  94A62 94A60
Full Text: DOI

Formal controller synthesis for Markov jump linear systems with uncertain dynamics. (English) Zbl 07855853

Jansen, Nils (ed.) et al., Quantitative evaluation of systems. 20th international conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14287, 10-29 (2023).

Goodness-of-fit testing for Hölder continuous densities under local differential privacy. (English) Zbl 07822566

Belomestny, Denis (ed.) et al., Foundations of modern statistics. Festschrift in honor of Vladimir Spokoiny. Selected contributions based on the presentations at the international conference, Berlin, Germany, November 6–8, 2019 and Moscow, Russia, November 30, 2019. Cham: Springer. Springer Proc. Math. Stat. 425, 53-119 (2023).
MSC:  62-XX

Prouff and Rivain’s formal security proof of masking, revisited. Tight bounds in the noisy leakage model. (English) Zbl 1531.94072

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 343-376 (2023).
MSC:  94A60
Full Text: DOI

Efficient sensitivity analysis for parametric robust Markov chains. (English) Zbl 1547.68406

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 62-85 (2023).
MSC:  68Q60 60J22 90C31

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software