Các kho mã nguồn mở đang theo dõi của JHUISI, sắp xếp theo số sao.
Charm: Một framework để tạo mẫu nhanh các hệ thống mật mã.
