<div dir="ltr">Kính gửi các anh chị thông tin mới ngày 02/03/2016<br><br><h3 class="" itemprop="name">
EU cấp tiền nghiên cứu lập trình nguồn mở
</h3>
<div class="">
</div>
<br>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<b><span style="background:rgb(255,255,0) none repeat scroll 0% 0%">EU
funds open source programming research</span></b></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
Submitted
by <a href="https://joinup.ec.europa.eu/people/11119">Gijs Hillenius</a>
on February 23, 2016</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
Theo:
<a href="https://joinup.ec.europa.eu/community/eu-fossa/news/eu-funds-open-source-programming-research">https://joinup.ec.europa.eu/community/eu-fossa/news/eu-funds-open-source-programming-research</a></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
Bài
được đưa lên Internet ngày: 23/02/2016</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<b>Hội
đồng Nghiên cứu châu Âu tài trợ cho rà soát lại mã </b>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
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ố.
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<span style="color:maroon">Một
tài trợ như vậy đã được trao để </span><a href="https://www.cs.uni-saarland.de/index.php?id=202&L=0&tx_ttnews[tt_news]=240&cHash=3b3d0d1533dbd922785fcd3be8f74312">rà
soát lại chỗ bị tổn thương mã</a><span style="color:maroon">
của </span><a href="https://en.wikipedia.org/wiki/Rust_%28programming_language%29">Rust</a><span style="color:maroon">,
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à </span><a href="https://en.wikipedia.org/wiki/Servo_%28layout_engine%29">Servo</a><span style="color:maroon">.</span></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
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.
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<b>Mật
mã an toàn </b>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<a href="http://www.inria.fr/en/centre/paris/news/karthik-bhargavan-erc-consolidator-grants-2015">Trợ
cấp Tăng cường</a><span style="color:maroon"> 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ả </span><a href="http://mitls.org/">miTLS</a><span style="color:maroon">
- một triển khai tham chiếu được thẩm định, nguồn mở
của giao thức TLS, và </span><a href="https://www.fstar-lang.org/">F*</a><span style="color:maroon">,
một ngôn ngữ lập trình nguồn mở cho phép các đặc tả
mã chính xác. </span>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
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ở”.
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<b>Về
lý thuyết </b>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<span style="color:maroon">Tài
trợ thứ 3 của ERC </span><a href="http://pressearchiv.tugraz.at/pressemitteilungen/2015/15.12.2015.htm">được
trao</a><span style="color:maroon"> 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. </span>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<span style="color:maroon">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 để
</span><a href="https://ist.ac.at/news-media/news/news-detail/article/two-erc-starting-grants-and-one-erc-consolidator-grant-for-ist-austria/6/">tiếp
tục</a><span style="color:maroon"> 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. </span>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
“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 <a href="https://eprint.iacr.org/2015/528">cryptocurrency</a>
[đồ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 <a href="https://github.com/kwonalbert/spacemint">Github</a>.
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ở”.
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<br>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<b>Thông
tin thêm: </b>
</div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<a href="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 Đại học (tiếng Đức)</a></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<a href="http://www.inria.fr/en/centre/paris/news/karthik-bhargavan-erc-consolidator-grants-2015">Thông
cáo báo chí của INRIA</a></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<a href="http://pressearchiv.tugraz.at/pressemitteilungen/2015/15.12.2015.htm">Thông
cáo báo chí của Đại học Kỹ thuật Graz (tiếng Đức)</a></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<a href="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
cáo báo chí của IST Áo (tiếng Đức)</a></div>
<div style="line-height:100%;margin-bottom:0cm" align="justify">
<a href="https://erc.europa.eu/sites/default/files/press_release/files/erc_press_release_cog2015_results.pdf">Thông
báo thưởng tài trợ trong chương trình của ERC
Consolidator (PDF)</a>
</div><br><br><font size="2"><span style="font-family:arial,helvetica,sans-serif"><span style="font-size:small"><span style="font-family:Arial,Helvetica,sans-serif"><span style="color:black">Xem thông tin chi tiết tại: <a href="http://vnfoss.blogspot.com/" target="_blank">http://vnfoss.blogspot.com/</a> hoặc <a href="http://letrungnghia.mangvn.org/" target="_blank">http://letrungnghia.mangvn.org/</a><br></span></span></span><br><font size="2"><span style="font-family:arial,helvetica,sans-serif"><span style="color:rgb(0,0,0)">Hân hạnh được phục vụ <span class=""><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><span><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><br><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888"><font color="#888888">Lê Trung Nghĩa</font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></font></span></span><br><span>PS: Xin lỗi nếu thông tin này làm phiền các anh chị.</span></span></font></span></font></div>