Information Security Theory and Practice: 12th IFIP WG 11.2 International Conference, WISTP 2018, Brussels, Belgium, December 10-11, 2018, Revised Selected Papers von Blazy, Olivier, Yeun, Chan Yeob

Volltext

A Machine-Checked Proof of the Odd Order Theorem von Gonthier, Georges, Asperti, Andrea, Avigad, Jeremy, Bertot, Yves, Cohen, Cyril, Garillot, François, Le Roux, Stéphane, Mahboubi, Assia, O’Connor, Russell, Ould Biha, Sidi, Pasca, Ioana, Rideau, Laurence, Solovyev, Alexey, Tassi, Enrico, Théry, Laurent

Volltext

Canonical Structures for the Working Coq User von Mahboubi, Assia, Tassi, Enrico

Volltext

Cybersecurity Behaviour: A Conceptual Taxonomy von Mashiane, Thulani, Kritzinger, Elmarie

Volltext

Linear Depth Integer-Wise Homomorphic Division von Okada, Hiroki, Cid, Carlos, Hidano, Seira, Kiyomoto, Shinsaku

Volltext

Blockchain and the GDPR: A Data Protection Authority Point of View von Jambert, Amandine

Volltext

Specification: The Biggest Bottleneck in Formal Methods and Autonomy von Rozier, Kristin Yvonne

Volltext

Cerebral microbleeds and stroke risk after ischaemic stroke or transient ischaemic attack: a pooled analysis of individual patient data from cohort studies von Ambler, Gareth, Lee, Keon-Joo, Shiozawa, Masayuki, Lovelock, Caroline, Hennerici, Michael, Lam, Bonnie Yin Ka, Gattringer, Thomas, Uysal, Ender, Bornstein, Natan M, Assayag, Einor Ben, Hara, Hideo, Seiffge, David J, Al-Shahi Salman, Rustam, Lip, Gregory Y H, Mas, Jean-Louis, Legrand, Laurence, Karayiannis, Christopher, Abrigo, Jill, Leung, Thomas, Chu, Winnie, Hayden, Derek, Williams, David J, Barbato, Carmen, Browning, Simone, Maaijwee, Noortje, Delmaire, Christine, van Oostenbrugge, Robert, Lou, Min, Kandiah, Nagaendran, de Leeuw, Frank-Erik, Fluri, Felix, Srikanth, Velandai, Jung, Simon, Heo, Ji Hoe, Veltkamp, Roland, Ay, Hakan, Lau, Kui Kai, Jouvent, Eric, Rothwell, Peter M, Bae, Hee-Joon, Werring, David J, Sword, Jane, Kelly, Deborah, Smith, Matthew, Elmarim, Abduelbaset, Esisi, Bernard, Hassan, Ahamad, Cohen, David, Proschel, Harald, Burn, Mathew, Marsh, Rachel, Prabhakaran, Mathuri, Sprigg, Nikola, Manawadu, Dulka, England, Timothy, Power, Michael, Dani, Krishna, Mangion, David, Corrigan, John, Brown, Martin, Charidimou, Andreas, Banerjee, Gargi, El-Koussy, Marwan, Maeder, Philippe, Gass, Achim, Vicaut, Eric, Sato, Shoichiro, Miwa, Kaori, Ly, John, Singhal, Shahoo, Thilemann, Sebastian, Fladt, Joachim, Han, Moon-Ku, Kang, Jihoon, Murphy, Sean, Carty, Fiona, Schembri, Mark, Marín, Rebeca, Camps-Renom, Pol, Guisado-Alonso, Daniel, Nuñez, Fidel, Ikeda, Syuhei, Zerna, Charlotte, Armitage, Paul, Thrippleton, Michael, Dennis, Martin, Kwan, Joseph Shiu Kwong, Chang, Richard, Chan, Chung Yan, Wong, Edmund Ka Ming, Leung, Kam Tat, Ramos, Lino, De Schryver, Els, Jöbsis, Joost, van der Sande, Jaap, Brouwers, Paul, Schoonewille, Wouter, Linn, Cisca, Mess, Werner, Ward, Nicholas

Volltext

Automated Verification of Functional Correctness of Race-Free GPU Programs von Kojima, Kensuke, Imanishi, Akifumi, Igarashi, Atsushi

Volltext

Stupid Tool Tricks for Smart Model Based Design von Lawford, Mark

Volltext

Response of nitric oxide pathway to l-arginine infusion at the altitude of 4,350 m von Schneider, J-C, Blazy, I, Dechaux, M, Rabier, D, Mason, N.P, Richalet, J-P

Volltext

Safety Verification and Refutation by k-Invariants and k-Induction von Brain, Martin, Joshi, Saurabh, Kroening, Daniel, Schrammel, Peter

Volltext

Constructing Semantic Models of Programs with the Software Analysis Workbench von Dockins, Robert, Foltzer, Adam, Hendrix, Joe, Huffman, Brian, McNamee, Dylan, Tomb, Aaron

Volltext

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers von Blazy, Sandrine, Chechik, Marsha

Volltext

Development of imaging-based risk scores for prediction of intracranial haemorrhage and ischaemic stroke in patients taking antithrombotic therapy after ischaemic stroke or transie... von Ambler, Gareth, Lim, Jae-Sung, Shiozawa, Masayuki, Prats-Sanchez, Luis, Martínez-Domeño, Alejandro, Inamura, Shigeru, Lam, Bonnie Yin Ka, Lemmens, Robin, Gattringer, Thomas, Uysal, Ender, Bornstein, Natan M, Algra, Ale, Al-Shahi Salman, Rustam, Fischer, Urs, El-Koussy, Marwan, Legrand, Laurence, Karayiannis, Christopher, Chu, Winnie, Nederkoorn, Paul J, Browning, Simone, Tuladhar, Anil M, Maaijwee, Noortje, Delmaire, Christine, Köhler, Sebastian, van Oostenbrugge, Robert, Xu, Chao, de Leeuw, Frank-Erik, Simister, Robert, Hendrikse, Jeroen, Fluri, Felix, Calvet, David, Peters, Nils, Yakushiji, Yusuke, Mok, Vincent, Ay, Hakan, Imaizumi, Toshio, Lau, Kui Kai, Jouvent, Eric, Rothwell, Peter M, Harkness, Kirsty, Shaw, Louise, Sharma, Pankaj, Nallasivam, Arumug, Price, Christopher, Parry-Jones, Adrian, Proschel, Harald, Manoj, Aravindakshan, Mansoor, Syed, Anwar, Ijaz, Marsh, Rachel, Meenakishundaram, Sanjeevikumar, Aghoram, Prasanna, McCormick, Michael, O'Mahony, Paul, Cooper, Martin, Caine, Sarah, Guyler, Paul, Emsley, Hedley, Okwera, James, Saastamoinen, Kari, England, Timothy, Flossman, Enrico, Charidimou, Andreas, Yousry, Tarek, Panos, Leonidas, Korczyn, Amos, Kliper, Efrat, Douste-Blazy, Marie-Yvonne, Vicaut, Eric, Fujita, Kyohei, Ide, Toshihiro, Singhal, Shaloo, Chandra, Ronil, Soufan, Cathy, Bonati, Leo, Kim, Beom Joon, Jang, Myung Suk, Akijian, Layan, Thornton, John, Iida, Kotaro, Thrippleton, Michael, Ho, Shu Leung, Cheung, Raymond Tak Fai, Hui, Edward, Hoi, Chu Peng, Cheung, Ryan Hoi Kit, Wong, Edmund Ka Ming, Leung, Kam Tat, Fong, Wing Chi, Li, Siu Hung, Wong, Kwok Kui, van der Sande, Jaap, Stam, Jan, Verbiest, Henk, Hertzberger, Leopold, Van Dam-Nolen, Dianne, Kooi, M Eline, Koudstaal, Peter, Leff, Alexander, Nachev, Parashkev

Volltext

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Volltext

JavaSMT: A Unified Interface for SMT Solvers in Java von Karpenkov, Egor George, Friedberger, Karlheinz, Beyer, Dirk

Volltext

Effective Soundness-Guided Reflection Analysis von Li, Yue, Tan, Tian, Xue, Jingling

Volltext

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL von Hölzl, Johannes, Immler, Fabian, Huffman, Brian

Volltext

Detection of Bitcoin-Based Botnets Using a One-Class Classifier von Zarpelão, Bruno Bogaz, Miani, Rodrigo Sanches, Rajarajan, Muttukrishnan

Volltext