Aladdin: Open Source Hardware Key to Your Online Security (indiegogo.com)

Name overloading, I think - there's already a USB security key family called Aladdin.