Блог Galois, Inc. Blog | DevsDay.ru

IT-блоги Блог Galois, Inc. Blog

IT-блоги Блог Galois, Inc. Blog


Разработка Galois, Inc. Blog 25 мая 2022 г. 21:41

Cryptography continues to rapidly transform our world. It seems like every day there’s a new story about fully homomorphic encryption, blockchains, and how these technologies secure billions and even trillions of dollars in assets.  We’ve talked abou...... читать далее

Cryptography Cryptol

Разработка Galois, Inc. Blog 5 апреля 2022 г. 17:14

I’m excited to announce our paper “ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification” has been accepted to PLDI 2022.  Programs often need to reveal information about private or sensitive data. For example, consider a...... читать далее

Security

Разработка Galois, Inc. Blog 31 марта 2022 г. 20:39

Abstract: Software bugs are pervasive in modern software. As software is integrated into increasingly many aspects of our lives, these bugs have increasingly severe consequences, both from a security (e.g. Cloudbleed, Heartbleed, Shellshock) and cost...... читать далее

Tech Talks

Разработка Galois, Inc. Blog 17 марта 2022 г. 16:49

I first attended POPL, the ACM SIGPLAN Symposium on Principles of Programming Languages, in Rome, as a first-year grad student in 2013. It was my first real experience in the programming languages (PL) community. My undergraduate advisor presented a...... читать далее

Uncategorized

Разработка Galois, Inc. Blog 28 января 2022 г. 19:34

This year Galois participated in the annual Competition on Software Verification (SV-COMP) for the first time with our verification tool, Crux. Preparing Crux to be in competition shape has been a project several years in the making, and we are very...... читать далее

Crux Tools

Разработка Galois, Inc. Blog 7 января 2022 г. 20:55

Prior to spinning out of Galois, engineers from Niobium Microsystems completed work on the 21st Century Cryptography DARPA project. This project developed a proof-of-concept ASIC containing high-performance, low-energy, side-channel resistant impleme...... читать далее

Cryptography Hardware

Разработка Galois, Inc. Blog 5 января 2022 г. 23:43

2021. Wow. There it went. And far more interesting than most of us anticipated. While weathering the various world storms, we also managed to keep advancing the cause of building trustworthy computing systems. Galois continued pioneering work in form...... читать далее

Highlights

Разработка Galois, Inc. Blog 13 декабря 2021 г. 17:23

This blog post derived from a presentation given 2021-11-12 at a workshop for the University of Southern California’s Center for Autonomy and Artificial Intelligence. Black-box machine learning (ML) methods, often criticized as difficult to explain,...... читать далее

Machine Learning

Разработка Galois, Inc. Blog 3 декабря 2021 г. 18:58

We recently hosted the 2021 Galois Balloween Workshop. This year it was held virtually, but we hope to have attendees join us in one of our offices next time. We have all attended so many virtual events in the last year and a half, so we wanted to ma...... читать далее

Uncategorized

Разработка Galois, Inc. Blog 8 ноября 2021 г. 17:01

A while back, we announced that we were open-sourcing Crux, a software verification tool. I’d like to work through a slightly more involved example in this post than those presented in the original announcement. In particular, I’d like to give an exa...... читать далее

Crux Tools

Разработка Galois, Inc. Blog 2 ноября 2021 г. 23:51

Modern formats, in brief By and large, when people share a document (whether it’s formatted text, visual media, or some combination), they believe that when they both look at it, they’re seeing the same thing. Modern users have arguably b...... читать далее

Security

Разработка Galois, Inc. Blog 28 октября 2021 г. 20:48

UC-Crux is an open-source command-line tool and Haskell library for performing under-constrained symbolic execution on LLVM code for the sake of exposing bugs or verifying the absence of certain types of undefined behavior. It requires only LLVM bitc...... читать далее

Crux Tools

Разработка Galois, Inc. Blog 13 октября 2021 г. 17:51

That’s right, you. The software engineer who hasn’t taken a logic or formal methods course. You already know formal methods. Sure, you might not be able to build a fancy new proof tool this month, but skills you apply every day are the building block...... читать далее

Uncategorized

Разработка Galois, Inc. Blog 27 сентября 2021 г. 22:49

At Galois, we are interested in expanding the capabilities of privacy-preserving technologies, as we believe such technology will play a vital role in our future privacy-sensitive world. One such technology that we’ve been exploring is Homomorphic En...... читать далее

Cryptography

Разработка Galois, Inc. Blog 19 августа 2021 г. 23:54

This post focuses on Galois’s silicon projects and related research efforts around asynchronous circuit design as we approach the 27th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2021), to be hosted by Galois as a virtual...... читать далее

Formal Methods Hardware

Разработка Galois, Inc. Blog 18 августа 2021 г. 14:00

In 1913 Henry Ford invented the assembly line and forever changed the way the world made physical products.  For more than 100 years since, the industrial society launched new technologies, new industries, and new educational programs focused on...... читать далее

Uncategorized

Разработка Galois, Inc. Blog 30 июля 2021 г. 14:00

We’re pleased to announce the creation of our newest spin-out:  Niobium Microsystems, devoted to the creation of trusted microelectronic systems. Galois is well-known for its focus on formal methods and high assurance for software validation. So...... читать далее

News

Разработка Galois, Inc. Blog 20 июля 2021 г. 14:00

Distributed protocols enable components such as blockchain validator nodes, cloud servers, or IoT devices to coordinate and cooperate toward a common goal. However, in such a diverse environment, a lot of things can go wrong: hardware can fail, softw...... читать далее

Uncategorized

Разработка Galois, Inc. Blog 15 июля 2021 г. 19:46

This post focuses on Galois’s silicon projects and related research efforts around asynchronous circuit design as we approach the 27th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2021), to be hosted by Galois as a virtual...... читать далее

Hardware

Разработка Galois, Inc. Blog 15 июля 2021 г. 15:48

Abstract: Industrial control systems have been frequent targets of cyber attacks during the last decade. Adversaries can hinder the safe operation of these systems by tampering with their sensors and actuators, while ensuring that the monitoring syst...... читать далее

Tech Talks