×

Found 25 Documents (Results 1–25)

Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification. (English) Zbl 1524.68040

Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer. Lect. Notes Comput. Sci. 11445, 462-479 (2019).
MSC:  68M25 68M07 68Q60
PDFBibTeX XMLCite
Full Text: DOI DOI

Core based architecture to speed up optimal ate pairing on FPGA platform. (English) Zbl 1305.94049

Abdalla, Michel (ed.) et al., Pairing-based cryptography – Pairing 2012. 5th international conference, Cologne, Germany, May 16–18, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-36333-7/pbk). Lecture Notes in Computer Science 7708, 141-159 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

The Cray X-MP/Model 24. A case study in pipelined architecture and vector processing. (English) Zbl 0669.68005

Lecture Notes in Computer Science, 374. Berlin etc.: Springer-Verlag (ISBN 3-540-97089-4). VI, 165 p. (1989).
MSC:  68-04 68N99
PDFBibTeX XMLCite

Parallel processing. Proceedings of the IFIP WG 10.3 working conference, Pisa, Italy, 25-27 April 1988. (English) Zbl 0668.68007

Amsterdam etc.: North-Holland. XX, 390 p.; $ 94.75; Dfl. 180.00 (1988).
Reviewer: I.Wende
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field