Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

Internet

Your smart speaker data is used in ways you might not expect

Smart speakers offer amazing convenience—from playing your favorite tunes to re-ordering toilet paper—with only a simple voice command. But that convenience can come with a steep cost in privacy that many consumers aren't ...

Engineering

Researchers create new smart materials for wearable technology

Fitness trackers, smartwatches and other wearable devices are popular ways to monitor and manage personal health. Researchers at the FAMU-FSU College of Engineering are helping advance that technology by developing soft and ...

Robotics

Robotic prosthetic ankles improve 'natural' movement, stability

Robotic prosthetic ankles that are controlled by nerve impulses allow amputees to move more "naturally," improving their stability, according to a new study from North Carolina State University and the University of North ...

page 18 from 40