Fast Software Encryption

20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers

電子書籍,電子書籍

Shiho Moriai

Springer Nature Proceedings Computer Science

電子書籍を購入

15 % 引き販売価格　7,149 円6,076 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783662439333
発売日　2014年7月8日
出版社：Springer Berlin Heidelberg

出版社： Springer
ファイル形式　EPUB2
サイズ　11.85 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

シリーズの内容

Advances in Cryptology – ASIACRYPT 2020

Shiho Moriai,Huaxiong Wang

Advances in Cryptology – ASIACRYPT 2020

Shiho Moriai,Huaxiong Wang

Advances in Cryptology – ASIACRYPT 2020

Shiho Moriai,Huaxiong Wang

関連書籍

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

9,511 円

Applied Integer Programming

Der-San Chen, Robert G. Batson, Yu Dang

21,429 円

Introduction to HPC with MPI for Data Science

Frank Nielsen

4,861 円

Modern Cryptography Primer

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny

6,076 円

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

4,557 円

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

6,076 円

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

6,076 円

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

6,076 円

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

6,076 円

Fast Software Encryption

Gregor Leander

6,076 円

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

12,154 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Topics in Cryptology – CT-RSA 2017

Helena Handschuh

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

6,076 円

Cryptographic Engineering

Cetin Kaya Koc

30,386 円

Cryptography and Coding

Jens Groth

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Provable Security

Man-Ho Au, Atsuko Miyaji

6,076 円

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

6,076 円

Applied Cryptography and Network Security

Tal Malkin, Vladimir Kolesnikov, Michalis Polychronakis, Allison Lewko

6,076 円

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

6,076 円

Lightweight Cryptography for Security and Privacy

Tim Güneysu, Gregor Leander, Amir Moradi

4,862 円

Information Security

Javier Lopez, Chris J. Mitchell

6,076 円

Advances in Information and Computer Security

Keisuke Tanaka, Yuji Suga

6,076 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Stream Ciphers

Andreas Klein

9,116 円

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

6,076 円

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

12,154 円

Cryptographic Hardware and Embedded Systems -- CHES 2015

Tim Güneysu, Helena Handschuh

6,076 円

Smart Card Research and Advanced Applications

Amir Moradi, Marc Joye

5,834 円

Fast Software Encryption

Thomas Peyrin

10,331 円

Information Security and Cryptology – ICISC 2016

Seokhie Hong, Jong Hwan Park

6,076 円

Information Security and Cryptology

Dongdai Lin, XiaoFeng Wang, Moti Yung

6,076 円

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

6,076 円

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

12,154 円

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

12,154 円

Sequences and Their Applications - SETA 2014

Kai-Uwe Schmidt, Arne Winterhof

6,076 円

Smart Card Research and Advanced Applications

Kerstin Lemke-Rust, Michael Tunstall

6,076 円

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

24,026 円

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

6,076 円

Smart Card Research and Advanced Applications

Naofumi Homma, Marcel Medwed

6,076 円

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

14,585 円

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

6,076 円

Information Security and Cryptology - ICISC 2015

Aaram Yun, Soonhak Kwon

6,076 円

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

6,076 円

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

12,154 円

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

6,076 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

6,076 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

Fast Software Encryption

Carlos Cid, Christian Rechberger

6,076 円

Information Theoretic Security

Carles Padró

6,076 円

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

6,076 円

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

6,076 円

Information and Communications Security

Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu

6,076 円

Detection of Intrusions and Malware, and Vulnerability Assessment

Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez

6,076 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Partitional Clustering Algorithms

M. Emre Celebi

12,154 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

21,000 円

Lightweight Cryptography for Security and Privacy

Andrey Bogdanov

6,076 円

Algorithms, Probability, Networks, and Games

Christos Zaroliagis, Spyros Kontogiannis, Grammati Pantziou

6,076 円

Synchronizing E-Security

Godfried B. Williams

12,154 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Open Problems in Network Security

Doğan Kesdoğan, Jan Camenisch

6,076 円

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

6,076 円

Security of Industrial Control Systems and Cyber Physical Systems

Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis

6,076 円

Innovative Security Solutions for Information Technology and Communications

Ion Bica, Reza Reyhanitabar

6,076 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Trust and Trustworthy Computing

Michael Franz, Panos Papadimitratos

6,076 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

Raphaël C.-W. Phan, Moti Yung

6,076 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Fast Software Encryption

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Advances in Cryptology – ASIACRYPT 2020

Advances in Cryptology – ASIACRYPT 2020

Advances in Cryptology – ASIACRYPT 2020

関連書籍

Tractability

Heuristic Search

Applied Integer Programming

Introduction to HPC with MPI for Data Science

Modern Cryptography Primer

Markov Logic

Advances in Cryptology – ASIACRYPT 2015

Advances in Cryptology – EUROCRYPT 2016

Advances in Cryptology – EUROCRYPT 2017

Selected Areas in Cryptography -- SAC 2014

Selected Areas in Cryptography -- SAC 2013

Public-Key Cryptography – PKC 2016

Selected Areas in Cryptography - SAC 2015

Fast Software Encryption

Advances in Cryptology -- ASIACRYPT 2015

Verification, Model Checking, and Abstract Interpretation

Advances in Cryptology – EUROCRYPT 2017

Topics in Cryptology - CT-RSA 2016

Progress in Cryptology -- INDOCRYPT 2015

Advances in Cryptology – EUROCRYPT 2017

Theory of Cryptography

Computer Aided Verification

Public-Key Cryptography – PKC 2017

Tools and Algorithms for the Construction and Analysis of Systems

Verification, Model Checking, and Abstract Interpretation

Topics in Cryptology – CT-RSA 2017

Computer Aided Verification

Progress in Cryptology -- LATINCRYPT 2015

Cryptographic Engineering

Cryptography and Coding

Formal Methods and Software Engineering

Provable Security

Public-Key Cryptography – PKC 2016

Applied Cryptography and Network Security

Information Security and Cryptology

Lightweight Cryptography for Security and Privacy

Information Security

Advances in Information and Computer Security

Static Analysis

Stream Ciphers

Progress in Cryptology - AFRICACRYPT 2017

Applied Cryptography and Network Security

Theory of Cryptography

Tools and Algorithms for the Construction and Analysis of Systems

Automated Technology for Verification and Analysis

Advances in Cryptology – ASIACRYPT 2016

Cryptographic Hardware and Embedded Systems -- CHES 2015

Smart Card Research and Advanced Applications

Fast Software Encryption

Information Security and Cryptology – ICISC 2016

Information Security and Cryptology

Advances in Cryptology – ASIACRYPT 2017

Provably Correct Systems

Advances in Cryptology – ASIACRYPT 2016

Sequences and Their Applications - SETA 2014

Smart Card Research and Advanced Applications

Models and Analysis for Distributed Systems

SOFSEM 2017: Theory and Practice of Computer Science

Smart Card Research and Advanced Applications

Advances in Cryptology – ASIACRYPT 2017

Progress in Cryptology – AFRICACRYPT 2016

Information Security and Cryptology - ICISC 2015

SOFSEM 2016: Theory and Practice of Computer Science

Advances in Cryptology – CRYPTO 2017

Software Engineering and Formal Methods

Principles and Practice of Constraint Programming

Cryptology and Network Security

Fundamental Approaches to Software Engineering