Author: International Safeguards Symposium on Addressing Verification Challenges (2006 Vienna, Austria)