Posts

Showing posts from September, 2020

Advisory: security issues in AWS KMS and AWS Encryption SDKs

I discovered and reported to Amazon the following security vulnerabilities affecting AWS KMS and all versions of AWS Encryption SDKs prior to version 2.0.0: Information leakage : an attacker can create ciphertexts that would leak the user’s AWS account ID, encryption context, user agent, and IP address upon decryption Ciphertext forgery : an attacker can create ciphertexts that are accepted by other users Robustness : an attacker can create ciphertexts that decrypt to different plaintexts for different users The first two bugs are somewhat surprising because they show that the ciphertext format can lead to vulnerabilities. These bugs (and the infamous alg: "None" bugs in JWT) belong to a class of vulnerabilities called in-band protocol negotiation . This is the second time we’ve found in-band protocol negotiation vulnerabilities in AWS cryptography libraries; see this bug in S3 Crypto SDK discovered by my colleague Sophie Schmieg. In JWT and S3 SDK the culprit is the algor...

Khi thẩm phán là thần tượng

Image
(Một phiên bản của bài này đã đăng trên BBC ) Chứng kiến bạn bè, đồng nghiệp tiếc thương thẩm phán Ruth Bader Ginsburg khiến tôi nhớ đến cố luật sư Vũ Trọng Khánh. Một khác biệt văn hóa giữa Việt Nam và Mỹ mà tôi nhận ra sau gần 10 năm ở Mỹ đó là trong ngôn ngữ và câu chuyện hàng ngày của người Mỹ, từ “hiến pháp” (constitution) xuất hiện với tần suất cao hơn người Việt Nam rất nhiều lần. Ở Mỹ hay ở Việt Nam, hiến pháp đều là bộ luật tối thượng của đất nước, theo lý thuyết sẽ ảnh hưởng đến mọi mặt của đời sống văn hóa, xã hội, kinh tế, chính trị. Thế thì tại sao người Mỹ thích nói về hiến pháp hơn người Việt? Tôi nghĩ vì Mỹ là nước pháp quyền, không có ai hay tổ chức nào đứng trên hay ở ngoài hiến pháp. Người Mỹ từ nhỏ đã được dạy về quyền của mình và viện dẫn các tu chính án hiến pháp làm căn cứ. Tổng thống Mỹ khi tuyên thệ nhậm chức không thề trung thành với đảng phái chính trị mà thề trung thành và bảo vệ hiến pháp. Một nhà báo trong nước giải thích tức là người dân Mỹ có thể dùng hi...

Reminder: Livestream trò chuyện với Hieupc

Image
Thứ bảy tuần này 19/9 (22h đêm, giờ Việt Nam), Huân Trương và tôi sẽ làm một buổi livestream với Hieupc. Tham gia cùng chúng tôi còn có bạn Junnie Nguyễn , cựu nhân viên Facebook phụ trách điều tra các vụ lừa đảo, giả mạo, đánh cắp danh tính. Bạn Junnie ở Ireland, đó là lý do mà chương trình sẽ bắt đầu lúc 22h đêm ở Việt Nam, vì phải cân bằng 3 múi giờ khác nhau ;-). Thời gian: ( nhấn vào đây để đưa vào Google Calendar ) Giờ Việt Nam: 22:00 tối thứ bảy, 19/9/2020 Giờ California: 08:00 sáng thứ bảy, 19/9/2020 Livestream: https://youtu.be/wjABQ4ODQkM Facebook event: https://www.facebook.com/events/347449939946860/ Chương trình sẽ gồm 4 phần : Phần đầu chúng tôi sẽ ôn lại kỷ niệm xưa, cái thuở ban đầu xài dial up với account “chùa” mà vẫn hack hiếc tè le. Chúng ta sẽ biết cơ duyên nào mà Hieupc đến với hacking và con đường dẫn đến vòng lao lý. Chuyện Hiếu đã làm rất sai, ảnh hưởng lớn đến nhiều người, không phải là chuyện nên tôn vinh hay ngưỡng mộ, nhưng Hiếu cũng đã trả giá sòng ph...

Podcast 4.04: Trò chuyện với Hieupc

Image
Hieupc (Ngô Minh Hiếu) là một hacker Gia Lai (không hiểu sao cái xứ này lại có nhiều hacker như vậy, có ai còn nhớ DanTruongX ?) bị mật vụ Mỹ lừa bắt vào năm 2013 và bị kết án 13 năm tù vì đã đánh cắp và bán thông tin cá nhân của hàng trăm triệu người Mỹ. Hieupc vừa ra tù vào cuối năm ngoái và đang ở Việt Nam. Tôi đọc câu chuyện cuộc đời của Hiếu trên KrebsOnSecurity thấy nhớ bạn bè và một thời trai trẻ. Tôi có thằng bạn, nhà cũng khá giả, cũng đi du học sớm, cũng hack hiếc dữ dội. Tôi nói với nó, chỉ cần lựa chọn khác nhau một chút, Hieupc và tụi tôi có thể đã đổi vị trí cho nhau. Hai thằng gật gù. Tuổi trẻ hiếu thắng, lại nắm trong tay bao nhiêu quyền lực, muốn hack cái gì cũng được, không có ai hướng dẫn chỉ bảo, không có hình mẫu để noi theo, phải rất tỉnh táo và may mắn mới không sa chân lỡ bước, nhất là khi kiếm tiền dễ quá. Mỗi chọn lựa đều có hậu quả. Hiếu đã chọn sai, để rồi phải trả giá bằng 7 năm tù, ngay trong độ tuổi tươi đẹp nhất của một đời người. Đắt nhưng công bằng v...

Why you want to encrypt password hashes

Image
Troy Hunt of Have I Been Pwned fame wrote that because encryption is reversible but hashing is not  passwords should be hashed, not encrypted . I think passwords should hashed-then-encrypted, i.e., they are hashed with a slow memory-hard function like Argon, scrypt or bscrypt, then the hashes are encrypted using AES-SIV with a key residing in a remote oracle. I believe this offers the best security at a minimum cost, providing pretty good usability. It is not exactly a new idea. The remote key works as a  secret pepper .  Facebook  also uses a remote oracle in their password hashing scheme. My first big project at Google was to modernize our password hashing scheme. I was having so much fun, spending days to design and implement a variant of scrypt in assembly (because I can and because it's actually faster than GCC intrinsics). In the end, I realized, however, it's a game that I can never win. I need a slow memory-hard hash function, but it can't be too slow beca...

A history of elliptic curves in tweets

Kepler : so, you see, the orbit of a planet is elliptical. To find where the Earth is, we need a method to calculate the arc length of an ellipse. Newton : This is a fluent problem, and, as usual, it can be solved with an infinite series expansion. Leibniz : Hold my beer, what's a fluent? The arc length of an ellipse is an integral problem. You want to compute $\int f(x)dx$ where $f(x) = \sqrt{\frac{1 - k^2x^2}{1 - x^2}}$ for a certain constant $k$. For that, you have to find a closed form function such that $F'(x) = f(x)$. 100 years had passed. The search for Leibniz's closed-form solution for the elliptic integral, that is $f(x) = \int_{c}^{x} R \left(t, \sqrt{P(t)} \right) dt$ where $R$ is a rational function and $P$ is a polynomial of degree 3 or 4, had been fruitless. By the end of the 17th century, Bernoulli -- which one is left as an exercise -- conjectured that the task is impossible. It was finally confirmed by Liouville in the 19th century who proved that ellipt...