Otros recursos de Chong, Stephen N

Resultados 1 - 10 de 40 de Chong, Stephen N. (0 segundos)


Documentos:
  1. Correct Audit Logging: Theory and Practice (�)

    Amir-Mohammadian, Sepehr; Chong, Stephen N; Skalka, Christian
    Retrospective security has become increasingly important to the theory and practice of cyber securit ...
    06-ene-2018

  2. Correct Audit Logging: Theory and Practice (�)

    Amir-Mohammadian, Sepehr; Chong, Stephen N; Skalka, Christian
    Retrospective security has become increasingly important to the theory and practice of cyber securit ...
    07-ene-2018

  3. Report on the NSF Workshop on Formal Methods for Security (�)

    Chong, Stephen N; Guttman, Joshua; Datta, Anupam; Myers, Andrew; Pierce, Benjamin; Chaumont, Patrick; Sherwood, Tim; Zeldovich, Nickolai
    The NSF workshop on Security and Formal Methods, held 19--20 November 2015, brought together develop ...
    06-ene-2018

  4. Report on the NSF Workshop on Formal Methods for Security (�)

    Chong, Stephen N; Guttman, Joshua; Datta, Anupam; Myers, Andrew; Pierce, Benjamin; Chaumont, Patrick; Sherwood, Tim; Zeldovich, Nickolai
    The NSF workshop on Security and Formal Methods, held 19--20 November 2015, brought together develop ...
    07-ene-2018

  5. Exploring and Enforcing Application Security Guarantees via Program Dependence Graphs (�)

    Johnson, Andrew; Waye, Lucas Reed; Moore, Scott; Chong, Stephen N
    We present Pidgin, a program analysis and understanding tool that allows developers to explore the i ...
    06-ene-2018

  6. Exploring and Enforcing Application Security Guarantees via Program Dependence Graphs (�)

    Johnson, Andrew; Waye, Lucas Reed; Moore, Scott; Chong, Stephen N
    We present Pidgin, a program analysis and understanding tool that allows developers to explore the i ...
    07-ene-2018

  7. Required Information Release (�)

    Chong, Stephen N
    Many computer systems have a functional requirement to release information. Such requirements are an ...
    02-dic-2017

  8. A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version) (�)

    Bedford, Andrew; Chong, Stephen N; Desharnais, Josée; Kozyri, Elisavet; Tawbi, Nadia
    We present a novel progress-sensitive, flow-sensitive hybrid information-flow control monitor for an ...
    30-nov-2017

  9. The Chlamydomonas genome reveals the evolution of key animal and plant functions. (�)

    Merchant, Sabeeha S; Prochnik, Simon E; Vallon, Olivier; Harris, Elizabeth H; Karpowicz, Steven J; Witman, George B; Terry, Astrid; Salamov, Asaf; Fritz-Laylin, Lillian K; Maréchal-Drouard, Laurence; Marshall, Wallace F; Qu, Liang-Hu; Nelson, David R; Sanderfoot, Anton A; Spalding, Martin H; Kapitonov, Vladimir V; Ren, Qinghu; Ferris, Patrick; Lindquist, Erika; Shapiro, Harris; Lucas, Susan M; Grimwood, Jane; Schmutz, Jeremy; Cardol, Pierre; Cerutti, Heriberto; Chanfreau, Guillaume; Chen, Chun-Long; Cognat, Valérie; Croft, Martin T; Dent, Rachel; Dutcher, Susan; Fernández, Emilio; Fukuzawa, Hideya; González-Ballester, David; González-Halphen, Diego; Hallmann, Armin; Hanikenne, Marc; Hippler, Michael; Inwood, William; Jabbari, Kamel; Kalanon, Ming; Kuras, Richard; Lefebvre, Paul A; Lemaire, Stéphane D; Lobanov, Alexey V; Lohr, Martin; Manuell, Andrea; Meier, Iris; Mets, Laurens; Mittag, Maria; Mittelmeier, Telsa; Moroney, James V; Moseley, Jeffrey; Napoli, Carolyn; Nedelcu, Aurora M; Niyogi, Krishna; Novoselov, Sergey V; Paulsen, Ian T; Pazour, Greg; Purton, Saul; Ral, Jean-Philippe; Riaño-Pachón, Diego Mauricio; Riekhof, Wayne; Rymarquis, Linda; Schroda, Michael; Stern, David,; Umen, James; Willows, Robert; Wilson, Nedra; Zimmer, Sara Lana; Allmer, Jens; Balk, Janneke; Bisova, Katerina; Chen, Chong-Jian; Elias, Marek; Gendler, Karla; Hauser, Charles; Lamb, Mary Rose; Ledford, Heidi; Long, Joanne C; Minagawa, Jun; Page, M Dudley; Pan, Junmin; Pootakham, Wirulda; Roje, Sanja; Rose, Annkatrin; Stahlberg, Eric; Terauchi, Aimee M; Yang, Pinfen; Ball, Steven; Bowler, Chris; Dieckmann, Carol L; Gladyshev, Vadim N; Green, Pamela; Jorgensen, Richard; Mayfield, Stephen; Mueller-Roeber, Bernd; Rajamani, Sathish; Sayre, Richard T; Brokstein, Peter; Dubchak, Inna; Goodstein, David; Hornick, Leila; Huang, Y Wayne; Jhaveri, Jinal; Luo, Yigong; Martínez, Diego; Ngau, Wing Chi Abby; Otillar, Bobby; Poliakov, Alexander; Porter, Aaron; Szajkowski, Lukasz; Werner, Gregory; Zhou, Kemin; Grigoriev, Igor V; Rokhsar, Daniel S; Grossman, Arthur R
    Chlamydomonas reinhardtii is a unicellular green alga whose lineage diverged from land plants over 1 ...
    21-nov-2017

  10. The Chlamydomonas genome reveals the evolution of key animal and plant functions. (�)

    Merchant, Sabeeha S; Prochnik, Simon E; Vallon, Olivier; Harris, Elizabeth H; Karpowicz, Steven J; Witman, George B; Terry, Astrid; Salamov, Asaf; Fritz-Laylin, Lillian K; Maréchal-Drouard, Laurence; Marshall, Wallace F; Qu, Liang-Hu; Nelson, David R; Sanderfoot, Anton A; Spalding, Martin H; Kapitonov, Vladimir V; Ren, Qinghu; Ferris, Patrick; Lindquist, Erika; Shapiro, Harris; Lucas, Susan M; Grimwood, Jane; Schmutz, Jeremy; Cardol, Pierre; Cerutti, Heriberto; Chanfreau, Guillaume; Chen, Chun-Long; Cognat, Valérie; Croft, Martin T; Dent, Rachel; Dutcher, Susan; Fernández, Emilio; Fukuzawa, Hideya; González-Ballester, David; González-Halphen, Diego; Hallmann, Armin; Hanikenne, Marc; Hippler, Michael; Inwood, William; Jabbari, Kamel; Kalanon, Ming; Kuras, Richard; Lefebvre, Paul A; Lemaire, Stéphane D; Lobanov, Alexey V; Lohr, Martin; Manuell, Andrea; Meier, Iris; Mets, Laurens; Mittag, Maria; Mittelmeier, Telsa; Moroney, James V; Moseley, Jeffrey; Napoli, Carolyn; Nedelcu, Aurora M; Niyogi, Krishna; Novoselov, Sergey V; Paulsen, Ian T; Pazour, Greg; Purton, Saul; Ral, Jean-Philippe; Riaño-Pachón, Diego Mauricio; Riekhof, Wayne; Rymarquis, Linda; Schroda, Michael; Stern, David,; Umen, James; Willows, Robert; Wilson, Nedra; Zimmer, Sara Lana; Allmer, Jens; Balk, Janneke; Bisova, Katerina; Chen, Chong-Jian; Elias, Marek; Gendler, Karla; Hauser, Charles; Lamb, Mary Rose; Ledford, Heidi; Long, Joanne C; Minagawa, Jun; Page, M Dudley; Pan, Junmin; Pootakham, Wirulda; Roje, Sanja; Rose, Annkatrin; Stahlberg, Eric; Terauchi, Aimee M; Yang, Pinfen; Ball, Steven; Bowler, Chris; Dieckmann, Carol L; Gladyshev, Vadim N; Green, Pamela; Jorgensen, Richard; Mayfield, Stephen; Mueller-Roeber, Bernd; Rajamani, Sathish; Sayre, Richard T; Brokstein, Peter; Dubchak, Inna; Goodstein, David; Hornick, Leila; Huang, Y Wayne; Jhaveri, Jinal; Luo, Yigong; Martínez, Diego; Ngau, Wing Chi Abby; Otillar, Bobby; Poliakov, Alexander; Porter, Aaron; Szajkowski, Lukasz; Werner, Gregory; Zhou, Kemin; Grigoriev, Igor V; Rokhsar, Daniel S; Grossman, Arthur R
    Chlamydomonas reinhardtii is a unicellular green alga whose lineage diverged from land plants over 1 ...
    12-dic-2017

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.