"SMS Basilisk"@cs .