The knowledge complexity of interactive proof systems
SIAM Journal on Computing
Journal of the ACM (JACM)
Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing
CRYPTO '91 Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology
Practical secrecy-preserving, verifiably correct and trustworthy auctions
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
FairplayMP: a system for secure multi-party computation
Proceedings of the 15th ACM conference on Computer and communications security
Public-key cryptosystems based on composite degree residuosity classes
EUROCRYPT'99 Proceedings of the 17th international conference on Theory and application of cryptographic techniques
Strictly-black-box zero-knowledge and efficient validation of financial transactions
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
| Hi-index | 0.00 |
As Ada 9X unfolds, it is valuable to examine the evolution of Ada-83 to determine the strengths and weaknesses of both the design process and the language.Ada is the outgrowth of the DoD Language Standardization, Convergence and Modernization program, led by Bill Whitaker and begun in 1974. A broad spectrum of users were involved in setting the original goals for the language which were:A usable language for real-time embedded systemsA precisely defined and well-controlled languageImproved software reliability and maintainabilityCommercially available compilers and programming systemsAn end to the proliferation of unique DoD languagesDavid Fisher led the transformation of user requests into specific technical requirements for the common language.The goals of Ada 83 have been achieved. In the actual use of any language, however, it becomes clear that some users' needs were overlooked in the original goals, some might have been overly optimistic, some are right on target, and others are no longer appropriate. As a result, expectations for the language change.What Ada 9X must accomplish is the fine-tuning of the language to meet expanded expectations without creating difficulty for current users. The revised language must be upwardly-compatible.Using an approach similar to that which was so successful in the original creation of Ada, Ada 9X is listening to the needs of the general user community; is determining, through the Requirements Team, which are the most important; and is mapping the required changes to the language. One of the keys to achieving a consistent language is oversight by a single, principal designer. In the case of the original language this role was filled by Jean Ichbiah; for 9X it is being filled by Tucker Taft.We fully expect Ada 9X to be the best choice for software applications ranging from real-time embedded systems to large distributed information systems; and, we hope, to become the most popular programming language worldwide.