Using Formal Verification To Prevent Catastrophic Security Breaches

The news of last week’s Yahoo hack that affected 500-million or so users sent shock waves of anxiety far and wide. It’s not clear yet how the massive data breach occurred or through what means the hackers accessed the network. It could be the chips that drive the network, often vulnerable to attacks on their operational integrity. It’s no surprise, then, that semiconductor companies ar... » read more

Convolutional Neural Networks Power Ahead

While the term may not be immediately recognizable, convolutional neural networks (CNNs) are already part of our daily lives—and they are expected to become even more significant in the near future. [getkc id="261" kc_name="Convolutional neural networks"] are a form of machine learning modeled on the way the brain's visual cortex distinguishes one object from another. That helps explain wh... » read more

Oh, The Hypocrisy

It's almost impossible to find anyone hasn’t heard about the privacy case chest-thumping going on between Apple and the FBI, as well as a few other federal entities. And by now the interview with Tim Cook and David Muir is quite public, as well. So how come, all of a sudden, Apple, Microsoft (although Bill Gates did come out on the government side) Google, Yahoo, Facebook, and countless ot... » read more

IoE Things Are Spying On Us

Special inaudible sounds are being embedded in Web pages and television commercials. In India, a company called SilverPush embeds short, ultrasonic sounds into television commercials and Web pages. Not only that, complementary software is being snuck onto computers, tablets, and smartphones. This software will pick up these “inaudible” signals and, via cookies, send what it learns back t... » read more

The Growing Price Of A Click

I have been staring at computer screens for a long time. I remember when AOL was the biggest thing to come along since 16-bit computing. I have always been an anti-spam/junk advocate. With snail mail, I could just pitch it. With radio and TV ads, I could turn down the volume or switch channels. But it got impractical to walk away from my computer every time an ad popped up on a new page. So ... » read more