Langsec in Pectore

Design and build a Proof-of-Concept (PoC) cardiac pacemaker circuit with an analog/mixed-signal CMOS ASIC based on a description of the device functionality as formal

More

ProjectID

LangsecInPectore

Acronym

LangsecInPectore

Additional Info

Not available yet

Enduser Relevance

Do you completely understand how your computer, laptop or smartphone works? Do you know what happens behind the browser, the text editor, the operating system? Probably not, and

More

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country: 

NGI Project:  NGI zero pet

Keyword: EmbeddedSystemsFormalGrammarOpenHardware

Status: -

Category: Trustworthy hardware and manufacturing