VietCrypt 2006 – Hội nghị Mật mã quốc tế đầu tiên tại Việt Nam
(Giới thiệu và chương trình hội nghị – ghi chép từ Diễn đàn Toán học)
Sắp tới, một Hội nghị quốc tế về Mật mã sẽ được tổ chức tại Hà Nội. Hy vọng sẽ có nhiều bạn quan tâm đến tham dự (sinh viên có thể tham dự miễn phí tất cả các hoạt động). Nếu số lượng đại biểu ở Việt Nam tham dự đông, Hội nghị sẽ dành thêm 1 ngày trước khai mạc cho Tutorial/Survey. Do vậy, nếu các bạn có ý định tham dự hãy đăng ký sớm để ban tổ chức có thể quyết định có tổ chức Tutorial/Survey hay không.
Thông tin hội nghị
Thời gian: 25 đến 28/09/2006
Địa điểm: Khách sạn Melia – Hà Nội
General Chair: Phan Đình Diệu (Trường Đại học Quốc gia Hà Nội)
Program Chair: Nguyễn Phong Quang (École normale supérieure – Trường Sư Phạm Paris)
Organizers: Nguyễn Quốc Khánh (FPT, Chair), Phan Dương Hiệu (ENS, France), Nguyễn Duy Lân (CSIRO ICT Centre, Australia)
Đơn vị tổ chức: FPT với sự cộng tác khoa học của Viện Toán Học
Proceedings: Lecture Notes in Computer Science, Springer
Phát biểu mời
Hai bài phát biểu mời của hội nghị sẽ do hai nhà khoa học đứng đầu hai nền khoa học Mật mã mạnh của thế giới thực hiện:
Jacques Stern (Pháp, trưởng khoa Tin học của Trường Sư Phạm Paris) – bài phát biểu về Cryptography in Financial Transactions. Đây là một trong những người tạo nền móng cho sự phát triển mạnh mẽ của ngành Mật mã tại Pháp.
Tatsuaki Okamoto (Giáo sư Đại học Kyoto và NTT, Nhật Bản) – bài phát biểu về On Pairing-Based Cryptosystems. Ông là một trong những người tạo nền móng cho nền mật mã Nhật Bản, và cũng đồng thời có bài báo được chấp nhận tại chính hội nghị này (xem thêm phần danh sách bài báo).
Ngoài ra, Ban Cơ Yếu có thể sẽ trình bày về Mật mã tại Việt Nam từ trong chiến tranh đến hiện tại.
Ban chương trình và quy mô
Hội nghị tập hợp được một ban chương trình với nhiều nhà khoa học uy tín và đã thu hút được 80 bài báo gửi tới. Ban chương trình đã chọn ra 24 bài để trình bày tại hội nghị. Đặc biệt, trong ban chương trình có sự tham gia của:
- Neal Koblitz – một trong 2 người (cùng Victor Miller) đưa các nghiên cứu về đường cong Elliptic vào Mật mã
- Bart Preneel – chủ tịch chương trình Mật mã châu Âu
- Pascal Paillier – đứng đầu nhóm bảo mật của Gemplus (công ty thẻ điện tử lớn nhất thế giới)
- Hà Huy Khoái – Viện trưởng Viện Toán học Việt Nam
- Xiaoyun Wang – người năm 2005 làm náo động giới mật mã với các công trình tấn công các hàm băm SHA
Một số bài nổi bật
Tatsuaki Okamoto không chỉ là khách mời của hội nghị, ông cùng 2 đồng nghiệp sẽ trình bày về Universally Composable Identity-Based Encryption. Hướng nghiên cứu về mật mã dựa trên danh tính (không cần sử dụng PKI – hạ tầng cơ sở khóa công khai) đang rất được quan tâm.
Serge Vaudenay (trưởng nhóm nghiên cứu mật mã tại Đại học bách khoa Lausanne – đại học mạnh nhất của Thụy Sỹ về mật mã; nổi tiếng nhờ đã phá thành công hệ mã Chor-Rivest đứng vững suốt hơn 10 năm) sẽ cùng đồng tác giả trình bày nghiên cứu về Undeniable Signatures, một hệ chữ ký điện tử có đặc tính khác với hệ chữ ký thông thường: không phải ai cũng kiểm thử được chữ ký mà cần đến sự hợp tác của bản thân người ký.
Phillip Rogaway (một trong hai đồng sáng lập của hệ mã nổi tiếng OAEP đang được sử dụng như chuẩn của nhiều hệ mã) sẽ trình bày về Formalizing Human Ignorance. Các hàm băm (như SHA) không sử dụng chìa khóa và do đó không thể giả thuyết rằng không tồn tại thuật toán hiệu quả tìm đụng độ (collision). Rogaway sẽ trình bày cách hình thức hóa "sự không biết" đó của con người.
Arjen K. Lenstra (chữ L đầu tiên trong viết tắt của thuật toán LLL nổi tiếng trong algebraic number theory) cùng 2 đồng nghiệp sẽ trình bày các nghiên cứu về hàm băm VSH (Very Smooth Hash) dựa trên độ khó của bài toán logarít rời rạc.
David Pointcheval (trưởng nhóm mật mã tại trường Sư phạm Paris) cùng học trò Cécile Delerablée sẽ trình bày một nghiên cứu về Group Signature – chữ ký nhóm, trong đó một thành viên có thể ký với danh nghĩa nhóm mà không ai biết chính xác đó là ai.
Jacques Patarin (trưởng nhóm mật mã tại đại học Versailles, nhóm mật mã mạnh thứ hai tại Pháp sau trường Sư phạm Paris) nổi tiếng về những nghiên cứu về các hệ mật mã dựa trên hàm nhiều biến, sẽ trình bày về Probabilistic Multivariate Cryptography.
Các tác giả Việt Nam
Hội nghị lần này có 3 bài được nhận có sự tham gia của các tác giả Việt Nam:
- Nguyễn Duy Lân – Trung tâm nghiên cứu CSIRO ICT Centre, Úc
Efficient Dynamic k-Times Anonymous Authentication - Phan Thị Lan Anh – Trường Đại học Tokyo, Nhật Bản
Reducing the Spread of Damage of Key Exposures in Key-Insulated Encryption - Phan Dương Hiệu – University College London, Anh
Traitor Tracing for Stateful Pirate Decoders with Constant Ciphertext Rate
Đăng ký tham dự
Một trong các mục đích chính của VietCrypt là tạo ra cơ hội trao đổi, gặp gỡ giữa những người quan tâm tới mật mã trong nước và giới nghiên cứu mật mã thế giới. Hội nghị rất mong nhận được sự tham gia từ các bạn sinh viên quan tâm tới môn khoa học trẻ trung này.
Lệ phí tham dự: $400 cho đại biểu nước ngoài, 200.000 đồng cho đại biểu trong nước (bao gồm tất cả các buổi ăn trưa tại khách sạn, các hoạt động ngoại khóa và 1 cuốn pre-proceedings). Sinh viên có thể tham dự miễn phí khi chứng tỏ sự liên quan với Mật mã qua Motivation letter và/hoặc CV.
Danh sách 24 bài báo được chấp nhận
Gửi tới ngày 25/08/2006. Proceedings xuất bản trong Lecture Notes in Computer Science (Springer).
-
Efficient Dynamic k-Times Anonymous Authentication
-
A New Signature Scheme Without Random Oracles from Bilinear Pairings
-
Probabilistic Multivariate Cryptography
-
An Ideal and Robust Threshold RSA
-
Side Channel Analysis of Practical Pairing Implementations: Which Path is More Secure?
-
Compressed Jacobian Coordinates for OEF
-
Short 2-Move Undeniable Signatures
-
Improved Fast Correlation Attack on the Shrinking and Self-Shrinking Generators
-
A Weak Key Class of XTEA for a Related-Key Rectangle Attack
-
Towards Provably Secure Group Key Agreement Building on Group Theory
-
Universally Composable Identity-Based Encryption
-
On the Definition of Anonymity for Ring Signatures
-
Factoring Square-free Composite Integer by Solving Multivariate Integer Polynomial Equations
-
Scalar Multiplication on Koblitz Curves Using Double Bases
-
How to Construct Sufficient Conditions for Hash Functions
-
Deniable Group Key Agreement
-
Escrowed Linkability of Ring Signatures and its Applications
-
Traitor Tracing for Stateful Pirate Decoders with Constant Ciphertext Rate
-
Formalizing Human Ignorance (Collision-Intractable Hashing without the Keys)
-
On the Internal Structure of ALPHA-MAC
-
Searching for Compact Algorithms: CGEN
-
Discrete Logarithm Variants of VSH
-
Dynamic Fully Anonymous Short Group Signatures
-
Reducing the Spread of Damage of Key Exposures in Key-Insulated Encryption
Các bài có nền hồng là bài có tác giả Việt Nam.
Chương trình hội nghị
Theo thông tin từ Ban tổ chức, có gần 70 người đăng ký tham gia, trong đó khoảng 30 người trong nước (có gần 10 bạn sinh viên – nghiên cứu sinh).
| Giờ | Nội dung |
|---|---|
| 14:00 – 18:00 | Surveys and Tutorials |
| Giờ | Nội dung |
|---|---|
| 8:00 – 9:00 | Đăng ký |
| 9:00 – 9:10 | Khai mạc |
| 9:10 – 10:10 | Invited Talk: Tatsuaki Okamoto – On Pairing-Based Cryptosystems |
| 10:30 – 12:30 | Session 1: Public Key Encryption · Universally Composable Identity-Based Encryption (Nishimaki, Manabe, Okamoto) · Reducing the Spread of Damage of Key Exposures in Key-Insulated Encryption (Hanaoka, Phan, Hanaoka, Matsuura, Imai) · An Ideal and Robust Threshold RSA (Ghodosi, Pieprzyk) |
| 14:00 – 16:00 | Session 2: Signature Schemes · Short 2-Move Undeniable Signatures (Monnerat, Vaudenay) · A New Signature Scheme Without Random Oracles from Bilinear Pairings (Zhang, Chen, Susilo, Mu) · On the Definition of Anonymity for Ring Signatures (Ohkubo, Abe) |
| 16:20 – 18:20 | Session 3: Group Signatures and Key Agreement · Dynamic Fully Anonymous Short Group Signatures (Delerablée, Pointcheval) · Escrowed Linkability of Ring Signatures and its Applications (Chow, Susilo, Yuen) · Towards Provably Secure Group Key Agreement Building on Group Theory (Bohli, Glas, Steinwandt) |
| Giờ | Nội dung |
|---|---|
| 9:00 – 10:00 | Invited Talk: Jacques Stern – Cryptography in Financial Transactions |
| 10:20 – 12:20 | Session 4: Traitor Tracing and Multivariate Cryptography · Traitor Tracing for Stateful Pirate Decoders with Constant Ciphertext Rate (Phan) · Efficient Dynamic k-Times Anonymous Authentication (Nguyen) · Probabilistic Multivariate Cryptography (Gouget, Patarin) |
| 14:00 – 16:00 | Session 5: Hash Functions · Discrete Logarithm Variants of VSH (Lenstra, Page, Stam) · How to Construct Sufficient Conditions for Hash Functions (Sasaki, Naito, Yajima, Shimoyama, Kunihiro, Ohta) · Formalizing Human Ignorance (Rogaway) |
| 16:20 – 18:20 | Session 6: Stream Ciphers and Block Ciphers · Improved Fast Correlation Attack on the Shrinking and Self-Shrinking Generators (Jeong et al.) · A Weak Key Class of XTEA for a Related-Key Rectangle Attack (Lee et al.) · On the Internal Structure of ALPHA-MAC (Huang, Seberry, Susilo) |
| 19:30 | Tiệc hội nghị (Conference Banquet) |
| Giờ | Nội dung |
|---|---|
| 9:00 – 10:00 | Invited Talk: Ban Cơ Yếu – Mật mã tại Việt Nam từ trong chiến tranh đến hiện tại |
| 10:20 – 12:20 | Session 7: Elliptic Curves and Pairing · Side Channel Analysis of Practical Pairing Implementations (Whelan, Scott) · Compressed Jacobian Coordinates for OEF (Hoshino, Kobayashi, Aoki) · Scalar Multiplication on Koblitz Curves Using Double Bases (Avanzi, Sica) |
| 14:00 – 16:00 | Session 8: Factoring and Compact Algorithms · Factoring Square-free Composite Integer by Solving Multivariate Integer Polynomial Equations (Santoso et al.) · Searching for Compact Algorithms: CGEN (Robshaw) · Deniable Group Key Agreement (Bohli, Steinwandt) |
| 16:00 – 16:15 | Bế mạc (Closing Remarks) |