×

Found 818 Documents (Results 1–100)

Geodesic flows of \(\alpha \)-connections for statistical transformation models on a compact Lie group. (English) Zbl 07789324

Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 454-462 (2023).
MSC:  53B12
PDFBibTeX XMLCite
Full Text: DOI

Symplectic foliation transverse structure and Libermann foliation of heat theory and information geometry. (English) Zbl 07789294

Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 152-164 (2023).
MSC:  53D17 53B12
PDFBibTeX XMLCite
Full Text: DOI

How to develop an intuition for risk…and other invisible phenomena (invited talk). (English) Zbl 07830358

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 2, 14 p. (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Information flow control-by-construction for an object-oriented language. (English) Zbl 1525.68031

Schlingloff, Bernd-Holger (ed.) et al., Software engineering and formal methods. 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13550, 209-226 (2022).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A dependent dependency calculus. (English) Zbl 1528.68078

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 403-430 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

An automated quantitative information flow analysis for concurrent programs. (English) Zbl 1522.68135

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 43-63 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Compiler-based attack origin tracking with dynamic taint analysis. (English) Zbl 07628049

Park, Jong Hwan (ed.) et al., Information security and cryptology – ICISC 2021. 24th international conference, Seoul, South Korea, December 1–3, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13218, 175-191 (2022).
MSC:  68M25 68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

A temporal logic for strategic hyperproperties. (English) Zbl 07730626

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 24, 19 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bounded-deducibility security (Invited Paper). (English) Zbl 07699420

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 3, 20 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Upper bound computation of information leakages for unbounded recursion. (English) Zbl 1522.68145

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 160-177 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

A novel approach for supervisor synthesis to enforce opacity of discrete event systems. (English) Zbl 1496.68195

Gao, Debin (ed.) et al., Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12919, 210-227 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Trade-off for heterogeneous distributed storage systems between storage and repair cost. (English. Russian original) Zbl 1459.68050

Probl. Inf. Transm. 57, No. 1, 33-53 (2021); translation from Probl. Peredachi Inf. 57, No. 1, 40-63 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On privacy and accuracy in data releases (Invited Paper). (English) Zbl 07559457

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 1, 18 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

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