Cirriculum Vitae
DR. POLAR HUMENN
Curriculum Vitae
Nov 2022
Personal
Home Address: 261 Roosevelt Ave
Syracuse, NY, 13210
Email: polar@syr.edu
polar@adiron.com
LinkedIn: https://www.linkedin.com/in/dr-polar-humenn-6aa585
https://www.linkedin.com/in/polarhumenn
CV: https://sites.google.com/view/polarhumenn
Skype: polar.humenn
Cell: 315-308-1423
Birthplace: Brooklyn, NY
Citizenship: United States of America
Research Interests
Cryptographic Currencies
Mapping Systems
Reactive Systems
Micro Services
Distributed Mobile Applications
Computer and Systems Security
Distributed Systems
Formal Methods
Modal Logic
Logic and Functional Programming
Open Standards and Domain Specific Languages
Web Development
Education
Ph.D. in Computer and Information Science, Syracuse University, Syracuse, NY
Dissertation: “The Authorization Calculus”
M.S. in Computer and Information Science, Syracuse University, Syracuse, NY
B.S. in Computer and Information Science, Syracuse University, Syracuse, NY
Professional Experience
Adiron, LLC, Principal, 2005-present
Back-end application research. Currently, exploring cryptographic currency research into trading and writing bots for such. Also have done iOS and Android mobile application development
Trimble MAPS, 2017-2021
Senior Software Engineer: Research and Development of Backend Systems and Mobile Apps. Developed SDKs in all languages for road and navigation mapping systems.
Busme! 2009-present
Founder and CEO: http://busme.us. A system for crowd sourcing locations of vehicles using mobile technology. No longer in operation.
Le Moyne College, 2011-2012
Adjunct Professor in Computer Science.
Director of Security and Software R&D, Wireless Grids Corporation, 2006-2009
Lead security engineer and scientist for a university based start up for distributed wireless computing.
Security Consultant, IONA Technologies, 2005-2006
Security analysis and contributing to the design and implementation of a commercial distributed system toolkit. This effort also involved contributing to open-source projects.
Research Associate, Syracuse University, 2000–2006
Research specialized in formal methods research applied to computer and network security. Managed graduate students in these endeavors.
Sole Founder and owner, Adiron LLC, 1998–Present
Chief architect, product manager, development lead on a product suite of tools for security policy development, administration, and enforcement.
Co-founder, part owner, and Chief Science Officer, BlackWatch Technology, 1995–1998
Security Research and Consulting.
Computer Scientist, Odyssey Research Associates, 1992–1995
Computer Scientist. Computer Security, Operating Systems, Network Communications, Graphics, Software Engineering.
Research Associate, Syracuse University, Syracuse, New York, 1988-1990
New York State Center for Advanced Technology in Computer Application and Software Engineering (CASE Center).
Network Communications Consultant, Wang Laboratories Inc., Lowell, MA, 1988
Development lead in the testing division for company network communication protocols.
Network Communications and Operating Systems Consultant, Fortronic Technology, Melbourne, Australia, 1986-87
Development lead on communications protocols and operating systems simulation.
Unix Operating System Consultant, Knowledge Systems Concepts, Inc., Rome, New York, 1986-86
Development lead on database related software and the Unix operating system.
Staff Member, PAR Government Systems Corp., Inc., New Hartford, NY, 1984-1986
Operating System, Network Communications, Graphics consultant and programmer.
Graduate Assistant, Syracuse University 1981-1984
School of Computer and Information Science. Systems Administration. Teaching.
Entrepreneurial Projects
Busme!: Mobile Developing an application for tracking public buses in Syracuse and other localities. http://busme.us (now defunct).
Wireless Grids: Developing a distributed wireless platform for edge device sharing.
Professional Organization Affiliations
Chair of Security Special Interest Group (SECSIG), Object Management Group (OMG), 2000-2003. http://www.omg.org
Member Technical Committee on eXtensible Access Control Markup Language (XACML), OASIS, http://www.oasis-open.org
Conference Committees
Distributed Object Computing Security (DOCsec), 1998-2003, Technical Committee, Reviewer
ACM Workshop on XML Security, 2002, Reviewer
Conference Presentations
Formal Analysis of the CORBA CSIv2 Security Protocol, DOCsec 2003, Available at http://www.omg.org/news/meetings/workshops/DOCsec-2003/08-2_Humenn_Slides.pdf
Toward Assured Trusted Time Stamping, DOCsec 2002, Available at http://www.omg.org/news/meetings/workshops/DOCsec-2002_Proceedings/03-1_Humenn-Lewandowski_Assured_Trusted_Time_Stamping.pdf
Dynamically Authorized Role-Based Access Control for Secure Distributed Computation CORBA CSIv2 in Action, DOCsec 2002, Available at http://www.omg.org/news/meetings/workshops/DOCsec-2002_Proceedings/05-2_Kuo-Humenn_DARBAC.pdf
CONTROL: A New CORBA Security Level 2 Access Control Model, DOCsec 2000, Available at http://www.omg.org/news/meetings/workshops/presentations/docsec_present/2000/DOCsec2000-Control.pdf
Security Level 3: A New CORBA Credentials Model, DOCsec 2000, Available at http://www.omg.org/news/meetings/workshops/presentations/docsec_present/2000/DOCsec2000-SL3.pdf
Caribou: Enterprise Security Policy Enforcement System, Security Policy Definition and Management in Distributed Systems, DOCsec 1998
Standards Publications (Co-Author)
OASIS
The eXtensible Access Control Markup Language (XACML), Available at: http://www.aoasis-open.org/specs/#xacmlv2.0
Object Management Group
The CORBA Security Specification (CORBAsec)
Common Secure Interoperability Version 2 (CSIv2)
Authorization Token Layer Acquisition Service (ATLAS)
Publications
T. Kosiyatrakul, S. Older, P. Humenn, and S. Chin. Implementing a calculus for distributed access control in higher order logic and HOL. In V.Gorodetsky, L. Popyack, and V.Skormin, editors. Computer Network Security: Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, volume 2776 of Lecture Notes in Computer Science, 2003
P, Humenn, The Formal Semantics of XACML, OASIS Documents, http://lists.oasis-open.org/archives/xacml/200310/pdf00000.pdf.
P. Humenn, S. Older, and S. Chin, Formal Analysis of the CORBA CSIv2 Security Protocol. Information Security Bulletin, Volume 8, Issue 2, March 2003
C. J. Kuo and P. Humenn. Dynamically authorized role-based access control for secure distributed computation. In Proceedings of the ACM Workshop on XML Security, 2002.
P. Humenn, A Language for Access Control in CORBA Security, In Proceedings of Distributed Object Computing Security (DOCSec), 2000, Available at
http://www.omg.org/news/meetings/workshops/presentations/docsec_present/2000/sal-ws1.pdf
D. Nessett and P. Humenn, The Multilayer Firewall, Symposium on Network and Distributed System Security (NDSS), 1998.
P. Humenn and M. Kratz, Healthcare Security Roadmap, Dual-Use Technologies & Applications Conference, 1997
H. Blair, F. Dushin, and P. Humenn. Simulations between Programs as Cellular Automata, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LCNS 1997
H. Blair, S. Chidella, F. Dushin, A. Ferry, and P. Humenn, A continuum of discrete systems, Annal of Mathematics and Artificial Intelligence 21 (1997) 153-186
P. Humenn, Implementation of the Declarative Language D, CASE Center Technical Report #9025, CASE Center, Syracuse University, 1990.
P. Humenn., Supercombinators in the Presence of Predicate Definitions, CASE Center Technical Report #9017, CASE Center, Syracuse University, 1990.
D. Jamsek, K. Greene, S. Chin, and P. Humenn, WINTER: WAMS IN Tim Expression Reduction, Proceedings of the North American Conference on Logic Programming, 1989.