As the C language, which forms the basis of critical global software like operating systems, faces security limitations, KAIST’s research team is pioneering core original technology research for the accurate automatic conversion to Rust to replace it. By proving the mathematical correctness of the conversion, a limitation of existing artificial intelligence (LLM) methods, and solving C language security issues through automatic conversion to Rust, they presented a new direction and vision for future software security research.

The paper by Professor Sukyoung Ryu’s research team from the School of Computing was published in the November issue of Communications of the ACM and was selected as the cover story.

The C language has been widely used in the industry since the 1970s, but its structural limitations have continuously caused severe bugs and security vulnerabilities. Rust, on the other hand, is a secure programming language developed since 2015, used in the development of operating systems and web browsers, and has the characteristic of being able to detect and prevent bugs before program execution.

The U.S. White House recommended discontinuing the use of C language in a technology report released in February 2024, and the Defense Advanced Research Projects Agency (DARPA) also explicitly stated that Rust is the core alternative for resolving C language security issues by promoting a project to develop technology for the automatic conversion of C code to Rust.

Professor Ryu’s research team proactively raised the issues of C language safety and the importance of automatic conversion even before these movements began in earnest, and they have continuously developed core related technologies.

In May 2023, the research team presented the Mutex conversion technology (necessary for program synchronization) at ICSE (International Conference on Software Eng). In June 2024, they presented the Output Parameter conversion technology (used for result delivery) at PLDI (Programming Language Design and Implementation), and in October of the same year, they presented the Union conversion technology (for storing diverse data together) at ASE (Automated Software Eng).

Dr. Jaemin Hong stated, “The conversion technology we developed is an original technology based on programming language theory, and its biggest strength is that we can logically prove the ‘correctness’ of the conversion.” He added, “While most research relies on large language models (LLMs), our technology can mathematically guarantee the correctness of the conversion.”

Dr. Hong is scheduled to be appointed as an assistant professor in the Computer Science Department at UNIST starting in March 2025.

In addition, Professor Ryu’s research team has four papers, including C→Rust conversion technology, accepted for presentation at ASE 2025 held in Seoul, South Korea, Nov. 16–20.

These papers, in addition to automatic conversion technology, cover various cutting-edge software engineering fields. They include: technology to verify whether quantum computer programs operate correctly, “WEST” technology that automatically checks the correctness of WebAssembly programs (technology for fast and efficient program execution on the web) and creates tests for them, and technology that automatically simplifies complex WebAssembly code to quickly find errors. Among these, the WEST paper received the Distinguished Paper Award.

1Password has long been one of our favorite password managers. It’s our upgrade pick for all the extra features it offers compared to other password managers. 1Password has apps that work just about everywhere, including on macOS, iOS, Android, Windows, Linux, and ChromeOS. There are plug-ins for your favorite web browser too, which makes it easy to generate and edit new passwords on the fly.

What Are the Benefits of 1Password?

There are also some very nice features in 1Password that you won’t find elsewhere. If you frequently travel across national borders, you’ll appreciate Travel Mode. This mode lets you delete any sensitive data from your devices before you travel and then restore it with a click after you’ve crossed a border. This prevents anyone, including law enforcement at international borders, from accessing your complete password vault. In addition to being a password manager, 1Password can act as an authentication app like Google Authenticator, and for added security it creates a secret key to the encryption key it uses, meaning no one can decrypt your passwords without that key.

1Password also offers tight integration with other mobile apps. Rather than needing to copy and paste passwords from your password manager to other apps (which puts your password on the clipboard at least for a moment), 1Password is integrated with many apps and can autofill. This is more noticeable on iOS, where inter-app communication is more restricted.

You can get savings on the company’s suite of products with our 1Password coupons and deals.

How Much Is a 1Password Password Manager Plan?

The price of a 1Password Password manager plan varies by plan, with the annual plan discounted up to 28% off for committing yearly. The plans vary, with an individual plan at $3 per month, family plan at $5 per month, the Teams starter pack (with up to 10 users a month) at $20 per month, and business at $8 per month per user.

If you don’t want to commit to a yearly plan—and score massive savings—those plans are a bit more expensive. Monthly individual plans are $4 per month, family is $7 per month, Teams starter pack (with up to 10 users a month) is $25 per month, and business is $10 per month, per user.

Best Password Manager 2025

1Password just may be the best password manager of 2025. We named it the “best upgrade,” because of its impressive and comprehensive suite of additional security features, like Secret Key and secure travel mode. There are tons of features included that are similar to Bitwarden, Dashlane, Lastpass, NordPass, RoboForm, Enpass, KeePass, and YubiKey. But unlike others, 1Password password manager includes additional security features like a Secret Key for additional protection and a more secure travel mode. We also love 1Password’s intuitive interface which makes it simple for families to choose and share logins across devices.

Enjoy a 14-Day 1Password Free Trial

Not sure if 1Password is right for you? Try it free for 14 days! No credit card required, you get full access to premium features and cancel anytime. Free trials are available for Teams Starter Pack, Business, and Individual & Families plans.

I’ve been hooked on smoothies in an almost superstitious way ever since college: A fruit smoothie is like a good luck charm, promising the health you feel you deserve despite all your other bad decisions. But in my more recent adult life, a good blender is the passport to taqueria salsas, Oaxacan-style mole, and all the delicate emulsions I once had to buy at restaurants and in jars.

Well, Vitamix crushes the blender game, but usually comes with a price tag to match. Luckily Vitamix promo codes crop up at various points during the year, and we’re here to help you stay up to date on those discounts.

Vitamix New Ascent X5 With Stainless Steel Container

Vitmix’s top-of-the-line blender model, Ascent X5, is now constructed with a stainless steel container. The 48-ounce stainless steel container is not only huge and hygienic, the machine itself combines an intuitive touch interface with a refined, timeless design. The non-reactive stainless steel material resists stains, odors, and corrosion, and expertly handles hot, cold, and acidic ingredients. This futuristic gadget also has an automatic self-cleaning program and ten blending programs for popular items like smoothies, soups, frozen cocktails and more for a precise blend, every time.

Get a $25 Vitamix Promo Code Plus Free Shipping

Vitamix has tons of ways to save on these handy kitchen gear items, including $25 off when you register your email. All you have to do is input your email on Vitamix’s website, and you’ll get a discount of up to $25 sent straight to your inbox. Plus, you’ll get free shipping on orders of $100 or more.

Does Vitamix Offer Free Shipping?

Glad you asked. Vitamix is offering free standard shipping for orders above $99. This pretty much means that ground shipping is free for blenders at the current discounts. Priority shipping is not free, however.

The WIRED Gear Team’s Favorite Vitamix Blenders

WIRED has long been singing the praises of the classic Vitamix 5200. The model made a blender convert out of contributing reviewer Joe Ray after he realized that the “model of preference for blender aficionados around the world” was also his key to home mole and Oaxacan-style cookery.

A similar road-to-Damascus moment beset WIRED contributing reviewer Heather Arndt Anderson when she tested the Vitamix Ascent X2, also currently on a $50 promo discount. “The more I thought about it,” she wrote, “the more I realized that maybe I’ve never been a blender person because I never had a good blender.” Anderson also made a big batch of mole and avoided passing out from chile fumes, then moved on to homemade masa and a Georgian walnut spread. She regretted only that the blender wasn’t easier to clean.

After testing through a number of brands’ blenders, WIRED contributing reviewer Emily Peck marveled that even the basic Vitamix Explorian E310 churned almonds frictionlessly into butter without even need of a presoak.

Additional Vitamix Deals and Sales in 2025

Vitamix tends to offer a number of other deals and sales throughout the year, like Presidents Day, but the next one won’t crop up till Mother’s Day. Other deals to expect crop up during the summer, alongside the eternal Black Friday and Cyber Monday Deals.