Loading icon
Press enter or spacebar to select a desired language.

RSS Items

141 - 150 of 208 results found

Technical Perspective: Hiding Secrets in Programs

Date
Tuesday, February 27, 2024 - 1:30 AM
Description
"Indistinguishability Obfuscation from Well-Founded Assumptions," by Aayush Jain et al., gives a new construction of indistinguishability obfuscation that is provably secure.

Technical Perspective: Hiding Secrets in Programs

Date
Tuesday, February 27, 2024 - 1:30 AM
Description
"Indistinguishability Obfuscation from Well-Founded Assumptions," by Aayush Jain et al., gives a new construction of indistinguishability obfuscation that is provably secure.

Co-Developing Programs and Their Proof of Correctness

Date
Monday, February 26, 2024 - 11:10 PM
Description
There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.

Co-Developing Programs and Their Proof of Correctness

Date
Monday, February 26, 2024 - 11:10 PM
Description
There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.

In Memoriam: Niklaus Wirth

Date
Friday, February 23, 2024 - 12:21 AM
Description
The overriding philosophy of computing pioneer Niklaus Wirth, who died on January 1, 2024, was that systems should be simple, efficient, and “elegant.”

Verifying Correctness

Date
Thursday, February 22, 2024 - 10:12 PM
Description
Yael Tauman Kalai on her career, proof systems, and certifying correctness.