"adns"@cs .