[{"data": {"name": "CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Martin Franz", "@type": "Person"}, {"name": "Andreas Holzer", "@type": "Person"}, {"name": "Stefan Katzenbeisser", "@type": "Person"}, {"name": "Christian Schallhart", "@type": "Person"}, {"name": "Helmut Veith", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://link.springer.com/content/pdf/10.1007%2F978-3-642-54807-9_15.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Berlin Heidelberg", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/978-3-642-54807-9_15", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCj9t8F3M8z5X-CTh434y8ut9dz-CDEuNJhJ4bMrH-CRv4FHtoNYNms", "propertyID": "ISCC"}], "datePublished": "2014-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]