Olivier Coudert on October 30th, 2012

Last week I was invited in Cambridge, UK, to participate to a panel at the FMCAD conference (Formal Methods in Computer-Aided Design). The subject: “Model Checking in the Cloud”.  With another four people, we discussed the questions laid out by the panel moderator: How can model checking leverage the advantages of distributed and multi-core systems […]

Continue reading about Model Checking in the Cloud

Olivier Coudert on September 29th, 2012

The other day I decided to get started with my long due tax returns. When browsing some of my bank statements, I noticed three recurrent monthly payments that I could not recognize. More bizarre was the fact that their where issued in USD, while the account is labeled in Euros. They showed as follows: I […]

Continue reading about Got hacked?

Olivier Coudert on July 19th, 2012

Apparently, you don’t need to be a big famous web site like the LinkedIn or Yahoo Voice to be the subject of attacks by hackers or malware.  I wanted to check out Avery Design this Thursday morning, and this is what I got: The explanation given by Google is below. Looks like the Avery guys […]

Continue reading about Avery Design blacklisted

You must know by now that 6.5 millions unsalted SHA-1 hashed passwords have been stolen from LinkedIn database, and it looks likely that the usernames were compromised too. So you already changed your password, right? If you didn’t, do it now. But even if you did change your password over the past two days, hackers […]

Continue reading about How to check if your LinkedIn password got stolen –and what to do if it did

Olivier Coudert on June 6th, 2012

Today 6.5 millions hashed password have been posted on a Russian hacker site. It is unclear whether the user names were compromised as well. But what was revealed is that LinkedIn keeps your password unsalted, hashed with SHA-1. Some explanations may be needed first to understand why this is relevant. Companies need to validate password. […]

Continue reading about Unsalted LinkedIn leaves a bad taste

Olivier Coudert on June 5th, 2012

How cool is this year’s DAC? Well, I’ll get back to this in a later post. But this is my first DAC that gets me to see, at the same location and in the span of 3 weeks: A partial solar eclipse on May 20 –which was annular if you drove up north to Redding […]

Continue reading about Transit of Venus

Olivier Coudert on May 29th, 2012

Cloud Slam’12 starts tomorrow, Wednesday May 30th, 2012. I’ll make a presentation there, please join and let’s talk about the future of EDA and chip design. These are the slides. And to make sure we keep our cool about all this:  

Continue reading about Chip Design and Cloud Computing: a Perfect Storm