×

Found 60 Documents (Results 1–60)

100
MathJax

Generic constructions of robustly reusable fuzzy extractor. (English) Zbl 07159411

Lin, Dongdai (ed.) et al., Public-key cryptography – PKC 2019. 22nd IACR international conference on practice and theory of public-key cryptography, Beijing, China, April 14–17, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11443, 349-378 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Robustly reusable fuzzy extractor from standard assumptions. (English) Zbl 1447.94058

Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 11274, 459-489 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

A reusable fuzzy extractor with practical storage size: modifying Canetti et al.’s construction. (English) Zbl 1444.94053

Susilo, Willy (ed.) et al., Information security and privacy. 23rd Australasian conference, ACISP 2018, Wollongong, NSW, Australia, July 11–13, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10946, 28-44 (2018).
MSC:  94A60 94A62
PDF BibTeX XML Cite
Full Text: DOI

Reusable fuzzy extractors for low-entropy distributions. (English) Zbl 1347.94022

Fischlin, Marc (ed.) et al., Advances in cryptology – EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8–12, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49889-7/pbk; 978-3-662-49890-3/ebook). Lecture Notes in Computer Science 9665, 117-146 (2016).
MSC:  94A60 68P30
PDF BibTeX XML Cite
Full Text: DOI Link

Numerical library reuse in parallel and distributed platforms. (English) Zbl 1323.65142

Palma, José M. Laginha M. (ed.) et al., High performance computing for computational science – VECPAR 2010. 9th international conference, Berkeley, CA, USA, June 22–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19327-9/pbk). Lecture Notes in Computer Science 6449, 271-278 (2011).
PDF BibTeX XML Cite
Full Text: DOI

A multi-trapdoor commitment scheme from the RSA assumption. (English) Zbl 1323.94131

Steinfeld, Ron (ed.) et al., Information security and privacy. 15th Australasian conference, ACISP 2010, Sydney, Australia, July 5–7, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14080-8/pbk). Lecture Notes in Computer Science 6168, 182-199 (2010).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Reuse of information system design. A case-based tool-supported running model. (Wiederverwendung von Informationssystementwürfen. Ein fallbasiertes werkzeuggestütztes Ablaufmodell. Mit einem Geleitw. von Markus Lusti.) (German) Zbl 0926.68156

Wiesbaden: DUV Deutscher Universitäts-Verlag. xx, 217 S. (1999).
MSC:  68U99 68-02 68T35
PDF BibTeX XML Cite

Verifying for reuse: Foundations of object-oriented system verification. (English) Zbl 0843.68067

Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 235-257 (1995).
MSC:  68Q60
PDF BibTeX XML Cite

Software quality assurance and measurement. A worldwide perspective. Papers based on the presentations at the workshop of the Centre for Software Reliability, September 29 - October 1, 1993 in Amsterdam, Netherlands. (English) Zbl 0821.68043

London: ITP, International Thomson Computer Press. xviii, 320 p. (1995).
MSC:  68N99 68-01 00B15
PDF BibTeX XML Cite

Software for parallel computation. Proceedings of the NATO Advanced Workshop, held at Cetraro, Cosenza, Italy, June 22-26, 1992. (English) Zbl 0818.68083

NATO ASI Series. Series F. Computer and Systems Sciences. 106. Berlin: Springer-Verlag. IX, 363 p. (1993).
Reviewer: G.Grigas (Vilnius)
PDF BibTeX XML Cite

Inheritance in LOTOS. (English) Zbl 0765.68016

Formal description techniques, IV, Proc. IFIP TC6/WG6 4th Int. Conf., Sydney/Australia 1991, 409-424 (1992).
MSC:  68N15 68N99
PDF BibTeX XML Cite

Automatic programming applied to VLSI CAD software: a case study. (English) Zbl 0718.68016

The Kluwer International Series in Engineering and Computer Science, 101. Boston etc.: Kluwer Academic Publishers. XVII, 228 p. $ 59.95 (1990).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software