Stephen R. Tate, Ph.D.
Professor of Computer Science
Department of Computer Science
The University of North Carolina at Greensboro
Navigation
Steve's Home
Department
Teaching
Research
Publications
Vita
Links
Contact
Menu End

Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

    Computer Security and Cryptography

  1. S. R. Tate and K. Xu. "Mobile Agent Security Through Multi-Agent Cryptographic Protocols", Proceedings of the 4th International Conference on Internet Computing (IC 2003), pp. 462-468.

  2. S. R. Tate and K. Xu. "On Garbled Circuits and Constant Round Secure Function Evaluation", CoPS Lab Technical Report 2003-02, 2003.

  3. S. P. Joglekar and S. R. Tate. "ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention," Journal of Universal Computer Science (JUCS), Vol. 11, No. 1, 2005, pp. 83-103.

    (Preliminary version published in Proceedings of the 2004 IEEE Conference on Information Technology: Coding and Computing (ITCC), Information Assurance and Security Track, 2004, pp. 81-88.)

  4. V. Gunupudi and S. R. Tate. "Performance Evaluation of Data Integrity Mechanisms for Mobile Agents," Proceedings of the 2004 IEEE Conference on Information Technology: Coding and Computing (ITCC), Information Assurance and Security Track, 2004, pp. 62-69.

  5. K. Xu and S. R. Tate. "Universally Composable Secure Mobile Agent Computation," Proceedings of the 7th International Conference on Information Security (ISC), 2004, pp. 304-317.

  6. V. Gunupudi and S. R. Tate. "SAgent: A Security Framework for JADE," Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2006, pp. 1116-1118.

  7. H. Ge and S. R. Tate. "Efficient Authenticated Key-Exchange for Devices with a Trusted Manager," Proceedings of the 3rd IEEE International Conference on Information Technology (ITNG) - Embedded Cryptographic Systems track, 2006, pp. 198-203.

  8. H. Ge and S. R. Tate. "A Group Signature Scheme with Signature Claiming and Variable Linkability," Proceedings of the 25th IEEE International Performance, Computing, and Communications Conference (IPCCC), 2006, pp. 497-504. [PDF available soon]

  9. H. Ge and S. R. Tate. "Traceable Signature: Better Efficiency and Beyond," Proceedings of Applied Cryptography and Information Security (ACIS), 2006, pp. 327-337. [PDF]

  10. V. Gunupudi, S. R. Tate, and K. Xu. "Experimental Evaluation of Security Protocols in SAgent," Proceedings of the International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE), 2006, pp. 60-74. [PDF available soon]

  11. V. Gunupudi and S. R. Tate. "Exploring Data Integrity Protection in SAgent," Proceedings of the International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE), 2006, pp. 35-49. [PDF available soon]

  12. V. Gunupudi and S. R. Tate. "Design of the SAgent Security Framework for JADE," Proceedings of the 18th Annual IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), 2006, pp. 90-95. [PDF available soon]

  13. H. Ge and S. R. Tate. "A Direct Anonymous Attestation Scheme for Embedded Devices," Proceedings of the 10th International Conference on Theory and Practice of Public-Key Cryptography (PKC), 2007, pp. 16-30. [PDF available soon]

  14. V. Gunupudi and S. R. Tate. "Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules," 3rd IEEE International Symposium on Security in Networks and Distributed Systems (SSNDS), proceedings as part of the 21st International Conference on Advanced Information Networking and Applications Workshops, 2007, pp. 463-469. [PDF]

  15. P. Yu and S. R. Tate. "An Online/Offline Signature Scheme Based on the Strong RSA Assumption," 3rd IEEE International Symposium on Security in Networks and Distributed Systems (SSNDS), proceedings as part of the 21st International Conference on Advanced Information Networking and Applications Workshops, 2007, pp. 601-606.

  16. V. Gunupudi and S. R. Tate. "Generalized Non-interactive Oblivious Transfer using Count-Limited Objects with Applications to Secure Mobile Agents," 12th International Conference on Financial Cryptography and Data Security, 2008, pp. 98-112. [PDF]

  17. P. Yu and S. R. Tate. "Online/Offline Signature Schemes for Devices with Limited Computing Capabilities," RSA Conference 2008, Cryptographers' Track (CT-RSA), 2008, pp. 301-317.

  18. S. R. Tate and R. Vishwanathan. "Improving Cut-and-Choose in Verifiable Encryption and Fair Exchange Protocols using Trusted Computing Technology," Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Application Security, 2009, pp. 252-267. [PDF] [Expanded version on ePrint]

  19. S. R. Tate. "Digital Signatures and Electronic Signatures," Chapter in The Handbook of Technology Management, Hossein Bidgoli, ed., John Wiley & Sons, 2009.

  20. S. R. Tate and R. Vishwanathan. "Performance Evaluation of TPM-based Digital Wallets," Proceedings of the 2010 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2010, pp. 179-186.

  21. V. Gunupudi and S. R. Tate. "Timing-Accurate TPM Simulation for What-If Explorations in Trusted Computing," to appear in the Proceedings of the 2010 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2010, pp. 171-178.

  22. Y. Kong, J. Deng, and S. R. Tate. "A Distributed Public Key Caching Scheme in Large Wireless Networks," Proceedings of the IEEE Global Telecommunications Conference -- Communication & Information System Security (GLOBECOM '10), 2010.

  23. S. R. Tate and R. Vishwanathan. "General Secure Function Evaluation Using Standard Trusted Computing Hardware," Proceedings of the 9th Annual Conference on Privacy, Security, and Trust (PST), 2011, pp. 221-228.

  24. S. R. Tate, R. Vishwanathan, and L. Everhart. "Multi-user dynamic proofs of data possession using trusted hardware," Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy (CODASPY '13), 2013, pp. 353-364.

  25. S. R. Tate, R. Vishwanathan, and S. Weeks. "Encrypted Secret Sharing and Analysis by Plaintext Randomization," Proceedings of the 16th Information Security Conference, 2013, pp. 49-65.

  26. S. R. Tate and R. Vishwanathan. "Expiration and Revocation of Keys for Attribute-Based Signatures," Proceedings of the 29th Annual IFIP WG 11.3 Working Conference on Data and Application Security, 2015, pp. 153-169.

  27. S. R. Tate, M. Bollinadi, and J. Moore. "Characterizing Vulnerabilities in a Major Linux Distribution," in Proceedings of the 32nd International Conference on Software Engineering \& Knowledge Engineering (SEKE), 2020, pp. 538-543.

  28. S. R. Tate and B. Yuan. "Minimum Size Build Environment Sets and Graph Coloring," in Proceedings of the 17th International Conference on Software Technologies (ICSOFT), 2022, pp. 57-67.

  29. S.R. Tate and B. Yuan. "On the Efficiency of Building Large Collections of Software: Modeling, Algorithms, and Experimental Results," in Springer Communications in Computer and Information Science, vol 1859, pp. 145-168, July 2023.

    On-line and Dynamic Algorithms

  30. M. Kao and S. R. Tate. ``Online Matching with Blocked Input'', Information Processing Letters, Vol. 38, May 1991, pp. 113--116. [PDF]

  31. M. Kao, J. H. Reif, and S. R. Tate. ``Searching in an Unknown Environment: An Optimal Randomized Algorithm for the Cow-Path Problem'', Information and Computation, Vol. 133, No. 1, 1996, pp. 62-80. [PDF]

  32. J. H. Reif and S. R. Tate. ``Dynamic Algebraic Algorithms'', Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 1994, pp. 290--301. [ Not available. See the J. of Algorithms paper below for a journal version which supercedes this one. ]

  33. J. H. Reif and S. R. Tate. ``Dynamic Parallel Tree Contraction'', Proceedings of the Symposium on Parallel Algorithms and Architecture, 1994, pp. 114--121. [PDF]

  34. J. H. Reif and S. R. Tate. ``On Dynamic Algorithms for Algebraic Problems'', Journal of Algorithms, Vol. 22, No. 2, 1997, pp. 347-371. [PDF]

  35. M.-Y. Kao and S. R. Tate. ``On-Line Difference Maximization'', SIAM Journal on Discrete Mathematics, Vol. 12, No. 1, 1999, pp. 78--90 (abstract published in Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997, pp. 175-182). [PDF]

    Parallel Algorithms and Circuit Complexity

  36. J. H. Reif and S. R. Tate. ``Optimal Size Integer Division Circuits'', SIAM Journal on Computing, Vol. 19, No. 5, October 1990, pp. 912--924. [PDF]

  37. J. H. Reif and S. R. Tate. ``On Threshold Circuits and Polynomial Computation'', SIAM Journal on Computing, Vol. 21, No. 5, October 1992, pp. 896--908. [PDF]

  38. J. H. Reif and S. R. Tate. ``Optimal Size Integer Division Circuits'', Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 1989, pp. 264--270.

  39. S. R. Tate. ``Newton Iteration and Integer Division'', Chapter 12 in Synthesis of Parallel Algorithms, edited by John H. Reif, pp. 539--572, 1993. San Mateo, CA: Morgan Kaufmann Publishers. [PDF]

    Robotics

  40. J. H. Reif and S. R. Tate. ``Continuous Alternation'', Algorithmica, Vol. 10, 1993, pp. 151--181. [PostScript]

  41. J. H. Reif and S. R. Tate. ``Approximate Kinodynamic Planning Using L_2-norm Dynamic Bounds'', Computers and Mathematics with Applications, Vol. 27, No. 5, 1994, pp. 29--44. [PDF]

    Molecular Dynamics, Algebraic Algorithms, and Geometry

  42. V. Pan, J. H. Reif, and S. R. Tate. ``The Power of Combining the Techniques of Algebraic and Numerical Computing: Improved Approximate Multipoint Polynomial Evaluation and Improved Multipole Algorithms'', Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 1992, pp. 703--713.

  43. J. H. Reif and S. R. Tate. ``The Complexity of N-body Simulation'', 20th Annual International Conference on Automata, Languages, and Programming, 1993, pp. 162--176. [PostScript]

  44. S. R. Tate. ``Stable Computation of the Complex Roots of Unity'', IEEE Transactions on Signal Processing, Vol. 43, No. 7, 1995, pp. 1709--1711. [PostScript]

  45. J. H. Reif and S. R. Tate. ``Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input'', Algorithmica, Vol. 28, 2000, pp. 271--287.

  46. J. H. Reif and S. R. Tate. ``Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input'', Algorithmica, Vol. 28, 2000, pp. 271-287. [PostScript]

  47. J. H. Reif and S. R. Tate. ``N-Body Simulation I: Fast Algorithms for Potential Field Evaluation and Trummer's Problem'', UNT Computer Science Technical Report N-96-002, 1996. [PostScript]

  48. S. R. Tate and K. Xu. ``General-Purpose Spatial Decomposition Algorithms: Experimental Results", 2nd Workshop on Algorithm Engineering and Experimentation (ALENEX), 2000, pp. 197-216. [PDF]

    Data Compression

  49. S. R. Tate. ``Band Ordering in Lossless Compression of Multispectral Images'', IEEE Transactions on Computers, Vol. 46, No. 4, 1997, pp. 477-483 (preliminary version published in Proceedings of the Data Compression Conference, 1994, pp. 311--320). [PostScript]

  50. S. R. Tate. ``Lossless Compression of Region Edge Maps'', Duke University Computer Science Technical Report CS-1992-09. [PostScript]

  51. B. Chapin and S. Tate. "Higher Compression from the Burrows-Wheeler Transform by Modified Sorting", abstract in Proceedings of the Data Compression Conference, 1998. [PDF]

    Computer Science Education

  52. P. Sroufe, S. Tate, R. Dantu, E. Celikel. "Experiences during a Collegiate Cyber Defense Competition", Journal of Applied Security Research, Vol. 16, No. 3, July 2010.

  53. L. S. Iyer, X. Zhao, A. Chow, and S. R. Tate. "Computer Science and Information Technology (CSIT) Identity: An Integrative Theory to Explain Gender Gap in IT," Proceedings of the International Conference on Information Systems (ICIS), 2011.

  54. B. L. Kurtz, J. B. Fenwick, R. Tashakkori, A. Esmaili, and S. R. Tate. "Active Learning During Lecture Using Tablets," Proceedings of the SIGCSE Technical Symposium, 2014, pp. 121-126. [ACM Digital Library]

  55. L. J. Crotts and S. R. Tate. "Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems," in Proceedings of the 6th International Conference on Education and E-Learning (ICEEL), 2022, to appear.

  56. L. J. Crotts and S. R. Tate. "Promoting a Common Testbed for Natural Deduction Tutoring Systems," in Proceedings of the 6th International Conference on Education and E-Learning (ICEEL), 2022, to appear.

    Miscellaneous

  57. S. R. Tate. ``Arithmetic Circuit Complexity and Motion Planning'', Ph. D. Dissertation, Duke University, 1991. [PDF]

  58. S. R. Tate. ``Report on the Workshop on Data and Image Compression Needs and Uses in the Scientific Community'', CESDIS Technical Report TR-93-99.

  59. M.-Y. Kao and S.R. Tate. ``Designing Proxies for Stock Market Indices is Computationally Hard'', Quantitative Finance, Vol. 1, No. 3, May 2001, pp. 361-371. (Preliminary version published in Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, 1999) [PDF]

  60. M.-Y. Kao, A. Nolte, and S. R. Tate. ``The Risk Profile Problem for Stock Portfolio Optimization,'' Proceedings of the 32nd Annual ACM Symposium on Theory of Computing (STOC), 2000, pp. 228-234. [PDF]