User Guide for ACTS, Version 2.9

First Page		Document Content
Date: 2014-08-13 11:31:33 Hardware verification languages Null Java Command-line interface Test SQL AS/400 Control Language E Parameter Computing Software engineering Cross-platform software		User Guide for ACTS, Version 2.9 Add to Reading List Source URL: csrc.nist.gov Download Document from Source Website File Size: 517,58 KB Share Document on Facebook

	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xV0o - View Document
	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xUSb - View Document
	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 DocID: 1xUOd - View Document
	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev DocID: 1xUMO - View Document
	Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract DocID: 1xUzV - View Document