Search

… Abadi and Cédric Fournet. Mobile values, new names, and secure communication. In 28th ACM Symposium on Principles of Programming Languages (POPL ’01), pages 104–115, January 2001. [4] … Joan Feigenbaum, and Jack Lacy. Dis- tributed trust management. In Proceedings, 1996 IEEE Symposium on Security and Privacy, pages 164–173, May 1997. [10] Michele Boreale. Symbolic trace … Winsbor- ough. Design of a role-based trust management frame- work. In Proceedings, 2002 IEEE Symposium on Secu- rity and Privacy, pages 114–130. May, IEEE Computer Society Press, 2002. [23] …

… Abadi and Cédric Fournet. Mobile values, new names, and secure communication. In 28th ACM Symposium on Principles of Programming Languages (POPL ’01), pages 104– 115, January 2001. 2. A. … Formal analysis of ikev1 and ikev2. In Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings, … the Internet Key Exchange protocol using the NRL protocol analyzer. In Proceedings, 1999 IEEE Symposium on Security and Privacy. IEEE CS Press, May 1999. 26. Dale Miller. Encryption as an …

… Semantic Similarity Measures as Tools for Exploring the Gene Ontology. In 8th Pacific Symposium on Biocomputing (PSB), pages 601-612, 2003. E.B. Camon, D.G. Barrell, E.C. Dimmer, V. …

… age. In Computa- tional Approaches to Analyzing Weblogs: Papers from the 2006 AAAI Spring Symposium. AAAI Press. Chris Callison-Burch and Mark Dredze. 2010. Creating speech and language … blogging. In Computational Approaches to Analyzing Weblogs: Papers from the 2006 AAAI Spring Symposium. AAAI Press, March. Robin Wauters. 2010. Only 50% of Twitter mes- sages are in English, …

… leakage using generalized gain functions. In Proc. 25th Computer Security Foundations Symposium (CSF 2012), 2012. 3. Christian Cachin. Entropy Measures and Unconditional Security in … D. Rowe. A cut principle for information flow. In Proc. 28th Computer Security Foundations Symposium (CSF 2015). IEEE, July 2015. 12. Boris Köpf and David Basin. An information-theoretic …

… Coordination Agents: A Self Configurable Agent Architecture”, 5th IEEE International Symposium of Autonomous Decentralized Systems (ISADS2001), pp 271-278, Dallas, TX March 2001 [3] … Normalizing for the Effects of Weather”, 4th USA/Europe Air Traffic Management R&D Symposium, Sante Fe, Dec 3- 7. http://atm2001.eurocontrol.fr/finalpapers/pap94.pdf [8] Fayyad, …

… Environments. In Proceedings of the 2005 Command and Control Research and Technology Symposium. Department of Defense Command and Control Research Program: McLean, VA, June 2005. [2] … awareness metrics.” Proceedings of the 2002 Command and Control Research and Technology Symposium, Monterey, CA., 2002 [15] Scholtz, J. Theory and evaluation of human-robot …

… R. Grabowski, and S. Cook, “Auton- omy, trust, and transportation,” in 2014 AAAI Spring Symposium Series, 2014. c©The MITRE Corporation. ALL RIGHTS RESERVED. Approved for Public … simulations,” in Cluster, Cloud and Grid Computing (CCGrid), 2012 12th IEEE/ACM International Symposium on, pp. 873–879, IEEE, 2012. c©The MITRE Corporation. ALL RIGHTS RESERVED. Approved for …

… "Prediction of the time accuracy and integrity of GPS timing," in IEEE Frequency and Control Symposium, 1995. [9] I. T. McMichael, E. T. Lundberg, D. L. Hanna and F. S. Kolak, "A Horizon … Hanna and S. Best, "Horizon nulling helix antennas for GPS timing," in 2017 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting, San Diego, CA, …

… & Service Oriented Architecture”, Proceedings of the MIT 2007 Information Quality Industry Symposium, July 2007, Cambridge, MA, pp 592-622. [6] Cui, Y., Widom, J., “Lineage Tracing for … for Enterprise Interoperability”, Proceedings of the MIT 2007 Information Quality Industry Symposium, July 2007, Cambridge, MA, pp 798-822. [12] Olsen, J. E., Data Quality – The Accuracy …