[OpenData] EU cấp tiền nghiên cứu lập trình nguồn mở

[Nghĩa Lê Trung]

Kính gửi các anh chị thông tin mới ngày 02/03/2016

EU cấp tiền nghiên cứu lập trình nguồn mở

*EU funds open source programming research*
Submitted by Gijs Hillenius <https://joinup.ec.europa.eu/people/11119> on
February 23, 2016
Theo:
https://joinup.ec.europa.eu/community/eu-fossa/news/eu-funds-open-source-programming-research
Bài được đưa lên Internet ngày: 23/02/2016

*Hội đồng Nghiên cứu châu Âu tài trợ cho rà soát lại mã *
Hội đồng Nghiên cứu châu Âu - ERC (European Research Council) đang cấp tiền
cho vài dự án nghiên cứu phần mềm nguồn mở, bao gồm kiểm tra mã, kiểm thử
an toàn và mã hóa. Từng trong số 4 dự án ở Áo, Pháp và Đúc đã nhận được chỉ
dưới 2 triệu EUR trong cái gọi là Tài trợ Củng cố.

Một tài trợ như vậy đã được trao để rà soát lại chỗ bị tổn thương mã
<https://www.cs.uni-saarland.de/index.php?id=202&L=0&tx_ttnews[tt_news]=240&cHash=3b3d0d1533dbd922785fcd3be8f74312>
của Rust <https://en.wikipedia.org/wiki/Rust_%28programming_language%29>,
một ngôn ngữ lập trình nguồn mở được thiết kế để an toàn. Rust được sử dụng
cho máy của trình duyệt web thí điểm của Mozilla có tên là Servo
<https://en.wikipedia.org/wiki/Servo_%28layout_engine%29>.

Tài trợ đó sẽ cho phép Viện Max Planck về các Hệ thống Phần mềm (Max Planck
Institute for Software Systems) ở Saarbrücken và Kaiserslautern (Đức) thẩm
định các tuyên bố an toàn của Rust để được chứng minh. Dự án được dẫn dắt
bởi Derek Dreyer, một nhà nghiên cứu ở viện và là giáo viên khoa học máy
tính ở Đại học Saarland.

*Mật mã an toàn *
Trợ cấp Tăng cường
<http://www.inria.fr/en/centre/paris/news/karthik-bhargavan-erc-consolidator-grants-2015>
thứ 2 là cho dự án “Lập trình An toàn với Mật mã” (Programming Securely
with Cryptography) ở INRIA - viện nghiên cứu khoa học máy tính quốc gia
Pháp. Các kết quả của 'Dự án Prosecco', bao gồm cả miTLS <http://mitls.org/>
- một triển khai tham chiếu được thẩm định, nguồn mở của giao thức TLS, và
F* <https://www.fstar-lang.org/>, một ngôn ngữ lập trình nguồn mở cho phép
các đặc tả mã chính xác.

Tài trợ của ERC có ý định để thiết kế quy trình mật mã an toàn, “đáng chú ý
bao gồm mã an toàn của trình duyệt web”, giám đốc nghiên cứu của INRIA có
trụ sở ở Paris Karthik Bhargavan được trích dẫn nói trong thông cáo báo
chí. “Chúng tôi sẽ chắc chắn sản xuất mã nguồn mở”, Bhargavan bổ sung thêm
qua thư điện tử. “Chúng tôi kiểm thử ngẫu nhiên mã nguồn đóng đối với các
chỗ bị tổn thương nghiêm trọng về an toàn, nhưng trong các trường hợp đó,
các công cụ chúng tôi sử dụng để phân tích chúng sẽ là mở”.

*Về lý thuyết *
Tài trợ thứ 3 của ERC được trao
<http://pressearchiv.tugraz.at/pressemitteilungen/2015/15.12.2015.htm> cho
Technische Universität Graz (Áo). Dự án nghiên cứu của Giáo sư Stefan
Mangard, mà ông nói bao gồm các phần mềm nguồn mở, sẽ kiểm thử các cách
thức đảm bảo an toàn cho mã chống lại các cuộc tấn công khai thác các thuộc
tính nhất định của phần cứng máy tính.

Tài trợ thứ 4 là cho IST Áo, một trung tâm nghiên cứu máy tính gần Vienna.
Nhà khoa học máy tính và nhà mật mã học ở đây, Krzysztof Pietrzak, sẽ sử
dụng tài trợ này để tiếp tục
<https://ist.ac.at/news-media/news/news-detail/article/two-erc-starting-grants-and-one-erc-consolidator-grant-for-ist-austria/6/>
phát triển các kỹ thuật chứng minh các giao thức và mô hình mật mã phổ
biến.

“Chúng tôi là nhóm lý thuyết, và vì thế hiếm khi sản xuất phần mềm”,
Pietrzak đã bình luận trong thư điện tử. “Một ngoại lệ gần đây là một
cryptocurrency <https://eprint.iacr.org/2015/528> [đồng tiền mật mã] được
triển khai bởi các đồng tác giả ở MIT và chúng tôi làm cho sẵn sàng qua
Github <https://github.com/kwonalbert/spacemint>. Liệu chúng tôi có sản
xuất bất kỳ phần mềm nào trong quá trình của dự án hay không, tôi không
thấy bất kỳ lý do nào vì sao chúng tooi không muốn làm cho nó sẵn sàng như
là nguồn mở”.

*Thông tin thêm: *
Thông cáo báo chí của Đại học (tiếng Đức)
<https://www.cs.uni-saarland.de/index.php?id=202&L=0&tx_ttnews[tt_news]=240&cHash=3b3d0d1533dbd922785fcd3be8f74312>
Thông cáo báo chí của INRIA
<http://www.inria.fr/en/centre/paris/news/karthik-bhargavan-erc-consolidator-grants-2015>
Thông cáo báo chí của Đại học Kỹ thuật Graz (tiếng Đức)
<http://pressearchiv.tugraz.at/pressemitteilungen/2015/15.12.2015.htm>
Thông cáo báo chí của IST Áo (tiếng Đức)
<https://ist.ac.at/news-media/news/news-detail/article/two-erc-starting-grants-and-one-erc-consolidator-grant-for-ist-austria/6/>
Thông báo thưởng tài trợ trong chương trình của ERC Consolidator (PDF)
<https://erc.europa.eu/sites/default/files/press_release/files/erc_press_release_cog2015_results.pdf>


Xem thông tin chi tiết tại: http://vnfoss.blogspot.com/ hoặc
http://letrungnghia.mangvn.org/

Hân hạnh được phục vụ
Lê Trung Nghĩa
PS: Xin lỗi nếu thông tin này làm phiền các anh chị.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.vfossa.vn/pipermail/opendata/attachments/20160302/923a6d10/attachment.html>