Explore Our Network

Explore MTEC's network of innovators, investors, and research organizations—along with patents and funding opportunities—advancing medical technologies for military and civilian health.

organizations (0)

solicitations (0)

patents (1)

Owner

member (1)

Inventors

Sekar, Vyas (1)Rosenberg, Steven A. (71)Dimitrov, Dimiter S. (63)

Assignee

Carnegie Mellon University (1)

Patent Type

B2 (1)

Publication Year

2026 (1)

Showing 1 Patents

System and method for formal modelling of trusted edge IoT security gateways

26-05-2026 • US-12639420-B2

VASUDEVAN, AMIT • MCCORMACK, MATTHEW • SEKAR, VYAS

Carnegie Mellon University

Owner

member (1)

Inventors

Sekar, Vyas (1)Rosenberg, Steven A. (71)Dimitrov, Dimiter S. (63)

Assignee

Carnegie Mellon University (1)

Patent Type

B2 (1)

Publication Year

2026 (1)

JOIN OUR MAILING LIST

Stay Connected with MTEC

Keep up with active and upcoming solicitations, MTEC news and other valuable information.

MTEC

For federal
agencies

Focus Areas Technology Showcase Member Directory Events

For innovators and
service providers

Member Directory Submitting Proposals Active Solicitations How to Join

For healthcare
investors

Technology Showcase How to Join

About
MTEC

Who We Are Capabilities Events Resources Contact Us

The Internal Revenue Service has recognized MTEC as a charitable organization which is exempt under Internal Revenue Code Section 501(c)(3).

Linkedin Privacy Policy Terms of Use Consent Preferences