Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184773038> ?p ?o ?g. }
- W2184773038 abstract "Security is one of the main issues of modern computer science. Nowadays more and more people use a computer to perform sensitive operations like bank transfer, Internet shopping, tax payment or even to vote. Most of these users do not have any clue how the security is achieved, therefore they totally trust their applications. These applications often use cryptographic protocols which are notoriously error prone even for experts. For instance a flaw was found in the Needham-Schroeder protocol seventeen years after its publication. These errors come from several aspects: Proofs ofsecurity of cryptographic primitives can contain some flaws. Security properties are not well specified, making it difficult to formally prove them. Assumptions on the intruder's model might be too restrictive. In this habilitation thesis we propose formal methods for verifying security of these three layers. First, we build Hoare logics for proving the security of cryptographic schemes like public encryption, encryption modes, Message Authentication Codes (MACs). We also study electronic voting protocols and wireless sensor networks (WSNs). In each one of these areas we first analyze the required security properties in order to propose a formal model. Then we develop adequate techniques for their verification." @default.
- W2184773038 created "2016-06-24" @default.
- W2184773038 creator A5024799131 @default.
- W2184773038 date "2012-11-06" @default.
- W2184773038 modified "2023-09-28" @default.
- W2184773038 title "Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks" @default.
- W2184773038 cites W120328900 @default.
- W2184773038 cites W122619279 @default.
- W2184773038 cites W1446312191 @default.
- W2184773038 cites W1479744988 @default.
- W2184773038 cites W1482268673 @default.
- W2184773038 cites W1489133925 @default.
- W2184773038 cites W149323008 @default.
- W2184773038 cites W1498469271 @default.
- W2184773038 cites W1499326294 @default.
- W2184773038 cites W1504211573 @default.
- W2184773038 cites W1505522548 @default.
- W2184773038 cites W1507973488 @default.
- W2184773038 cites W1509743338 @default.
- W2184773038 cites W1514107797 @default.
- W2184773038 cites W1516283174 @default.
- W2184773038 cites W1520309614 @default.
- W2184773038 cites W1521620591 @default.
- W2184773038 cites W1525995698 @default.
- W2184773038 cites W1528724153 @default.
- W2184773038 cites W1533609319 @default.
- W2184773038 cites W1533714441 @default.
- W2184773038 cites W1537849967 @default.
- W2184773038 cites W1539009458 @default.
- W2184773038 cites W1541831891 @default.
- W2184773038 cites W1543653153 @default.
- W2184773038 cites W1546053434 @default.
- W2184773038 cites W1552695147 @default.
- W2184773038 cites W1553511155 @default.
- W2184773038 cites W1557783852 @default.
- W2184773038 cites W1558105623 @default.
- W2184773038 cites W1559498407 @default.
- W2184773038 cites W1559824347 @default.
- W2184773038 cites W1567910635 @default.
- W2184773038 cites W1569881051 @default.
- W2184773038 cites W1571378841 @default.
- W2184773038 cites W1578627459 @default.
- W2184773038 cites W1579976528 @default.
- W2184773038 cites W1584528266 @default.
- W2184773038 cites W1586481148 @default.
- W2184773038 cites W1586571813 @default.
- W2184773038 cites W1587868574 @default.
- W2184773038 cites W1588668163 @default.
- W2184773038 cites W1594742286 @default.
- W2184773038 cites W1597235115 @default.
- W2184773038 cites W1599415687 @default.
- W2184773038 cites W1600499695 @default.
- W2184773038 cites W1603759597 @default.
- W2184773038 cites W1603876738 @default.
- W2184773038 cites W1603878273 @default.
- W2184773038 cites W1607069900 @default.
- W2184773038 cites W160950035 @default.
- W2184773038 cites W1638458447 @default.
- W2184773038 cites W1655844021 @default.
- W2184773038 cites W1667689828 @default.
- W2184773038 cites W1677494909 @default.
- W2184773038 cites W1684455359 @default.
- W2184773038 cites W1768836513 @default.
- W2184773038 cites W187962066 @default.
- W2184773038 cites W1891091891 @default.
- W2184773038 cites W1911300459 @default.
- W2184773038 cites W1920358524 @default.
- W2184773038 cites W1927186788 @default.
- W2184773038 cites W1969734941 @default.
- W2184773038 cites W1972626351 @default.
- W2184773038 cites W1973054120 @default.
- W2184773038 cites W1978196657 @default.
- W2184773038 cites W1985623009 @default.
- W2184773038 cites W1986796100 @default.
- W2184773038 cites W2000548713 @default.
- W2184773038 cites W2002454538 @default.
- W2184773038 cites W2003593381 @default.
- W2184773038 cites W2011086847 @default.
- W2184773038 cites W2011159270 @default.
- W2184773038 cites W2013665221 @default.
- W2184773038 cites W2015985434 @default.
- W2184773038 cites W2022521688 @default.
- W2184773038 cites W2028838608 @default.
- W2184773038 cites W2029693536 @default.
- W2184773038 cites W2043944888 @default.
- W2184773038 cites W2045349136 @default.
- W2184773038 cites W2050586071 @default.
- W2184773038 cites W2052207834 @default.
- W2184773038 cites W2052267638 @default.
- W2184773038 cites W2055259417 @default.
- W2184773038 cites W2069300761 @default.
- W2184773038 cites W2072503083 @default.
- W2184773038 cites W2072824406 @default.
- W2184773038 cites W2074040061 @default.
- W2184773038 cites W2082739501 @default.
- W2184773038 cites W2091877728 @default.
- W2184773038 cites W2092107726 @default.
- W2184773038 cites W2096929868 @default.
- W2184773038 cites W2098502330 @default.
- W2184773038 cites W2099171290 @default.