"kryptand"@cs .