Mathias - PDFSEARCH.IO - Document Search Engine

Mathias
Results: 1303

#	Item
1	Poster: EPOXY—Enabling Robust Protection for Bare-metal Systems Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗ Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 19:44:12 Computer architecture Computing System software Software bugs Embedded operating systems Electrical engineering Stack buffer overflow FreeRTOS Protection ring Buffer overflow protection Internet of things Memory protection
2	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing
3	SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2013-03-11 01:57:58 Computing Software bugs Software engineering Data types Computer memory Primitive types C standard library Memory safety Stack buffer overflow Pointer Dangling pointer Buffer overflow
4	From trash to treasure: timing-sensitive garbage collection Mathias V. Pedersen Aslan Askarov Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:11 Computing Software engineering Computer programming Memory management Software bugs Data types Procedural programming languages Programming languages Garbage collection Garbage C dynamic memory allocation Memory leak
5	Empowering the Economy of Things Mathias Davidsen, Sebastian Gajek, Marvin Kruse and Sascha Thomsen weeve.network Abstract The Internet of Things (IoT) paradigm is filled with opportunities due to the fact that things ca Add to Reading List Source URL: weeve.network Language: English - Date: 2018-05-07 09:22:08 Cryptography Computing Computer security Cryptocurrencies Emerging technologies Decentralization Trusted computing Internet of things Blockchain Trusted Platform Module Trusted execution environment Smart contract
6	Identifying Personal DNA Methylation Profiles by Genotype Inference Michael Backes∗ , Pascal Berrang∗ , Matthias Bieg† , Roland Eils†‡ , Carl Herrmann†‡ , Mathias Humbert∗ , Irina Lehmann§ ∗ CISPA, Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:30 Genetics Biology Epigenetics DNA Genomics Molecular biology Genetic mapping DNA methylation Bisulfite sequencing Methylation CpG site Bayesian tool for methylation analysis
7	D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Software engineering Applied mathematics Computing Domain-specific language Artificial neural network Neural network Algorithm Fold Generative model Convolutional neural network
8	Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization Mathias Lecuyer∗1 , Riley Spahn∗1 , Roxana Geambasu1 , Tzu-Kuo Huang†2 , and Siddhartha Sen3 1 Columbia University, 2 Uber Advanced Tec Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:01:30 Information Data management Computing Cryptography Big data Technology forecasting Transaction processing Differential Privacy Data retention Internet privacy Geographic information system Privacy
9	Protecting Bare-metal Embedded Systems With Privilege Overlays Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗ Pur Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:01:27
10	Empowering the Economy of Things Mathias Davidsen, Sebastian Gajek, Marvin Kruse and Sascha Thomsen weeve.network Abstract The Internet of Things (IoT) paradigm is filled with opportunities due to the fact that things ca Add to Reading List Source URL: weeve.network Language: English - Date: 2018-10-20 14:31:57 Cryptography Computing Computer security Cryptocurrencies Emerging technologies Decentralization Trusted computing Internet of things Blockchain Trusted Platform Module Trusted execution environment Smart contract