Search

Your search keyword '"Ben Hamlin"' showing total 10 results
Start Over Author "Ben Hamlin"
10 results on '"Ben Hamlin"'

1. Towards a Formal Treatment of Logic Locking

Author

Peter Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, and Pierluigi Nuzzo

Subjects
Logic Locking, Security Definitions, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64
Abstract

Logic locking aims to protect the intellectual property of a circuit from a fabricator by modifying the original logic of the circuit into a new “locked” circuit such that an entity without the key should not be able to learn anything about the original circuit. While logic locking provides a promising solution to outsourcing the fabrication of chips, unfortunately, several of the proposed logic locking systems have been broken. The lack of established secure techniques stems in part from the absence of a rigorous treatment toward a notion of security for logic locking, and the disconnection between practice and formalisms. We seek to address this gap by introducing formal definitions to capture the desired security of logic locking schemes. In doing so, we investigate prior definitional efforts in this space, and show that these notions either incorrectly model the desired security goals or fail to capture a natural “compositional” property that would be desirable in a logic locking system. Finally we move to constructions. First, we show that universal circuits satisfy our security notions. Second, we show that, in order to do better than universal circuits, cryptographic assumptions are necessary.

Published
2022
Full Text
View/download PDF

2. Proceedings of the 14th annual conference of INEBRIA

Author

Aisha S. Holloway, Jennifer Ferguson, Sarah Landale, Laura Cariola, Dorothy Newbury-Birch, Amy Flynn, John R. Knight, Lon Sherritt, Sion K. Harris, Amy J. O’Donnell, Eileen Kaner, Barbara Hanratty, Amy M. Loree, Kimberly A. Yonkers, Steven J. Ondersma, Kate Gilstead-Hayden, Steve Martino, Angeline Adam, Robert P. Schwartz, Li-Tzy Wu, Geetha Subramaniam, Gaurav Sharma, Jennifer McNeely, Anne H. Berman, Karoline Kolaas, Elisabeth Petersén, Preben Bendtsen, Erik Hedman, Catharina Linderoth, Ulrika Müssener, Kristina Sinadinovic, Fredrik Spak, Ida Gremyr, Anna Thurang, Ann M. Mitchell, Deborah Finnell, Christine L. Savage, Khadejah F. Mahmoud, Benjamin C. Riordan, Tamlin S. Conner, Jayde A. M. Flett, Damian Scarf, Bonnie McRee, Janice Vendetti, Karen Steinberg Gallucci, Kate Robaina, Brendan J. Clark, Jacqueline Jones, Kathryne D. Reed, Rachel M. Hodapp, Ivor Douglas, Ellen L. Burnham, Laura Aagaard, Paul F. Cook, Brett R. Harris, Jiang Yu, Margaret Wolff, Meighan Rogers, Carolina Barbosa, Brendan J. Wedehase, Laura J. Dunlap, Shannon G. Mitchell, Kristi A. Dusek, Jan Gryczynski, Arethusa S. Kirk, Marla T. Oros, Colleen Hosler, Kevin E. O’Grady, Barry S. Brown, Colin Angus, Sidney Sherborne, Duncan Gillespie, Petra Meier, Alan Brennan, Divane de Vargas, Janaina Soares, Donna Castelblanco, Kelly M. Doran, Ian Wittman, Donna Shelley, John Rotrosen, Lillian Gelberg, E. Jennifer Edelman, Stephen A. Maisto, Nathan B. Hansen, Christopher J. Cutter, Yanhong Deng, James Dziura, Lynn E. Fiellin, Patrick G. O’Connor, Roger Bedimo, Cynthia Gibert, Vincent C. Marconi, David Rimland, Maria C. Rodriguez-Barradas, Michael S. Simberkoff, Amy C. Justice, Kendall J. Bryant, David A. Fiellin, Emma L. Giles, Simon Coulton, Paolo Deluca, Colin Drummond, Denise Howel, Elaine McColl, Ruth McGovern, Stephanie Scott, Elaine Stamp, Harry Sumnall, Luke Vale, Viviana Alabani, Amanda Atkinson, Sadie Boniface, Jo Frankham, Eilish Gilvarry, Nadine Hendrie, Nicola Howe, Grant J. McGeechan, Amy Ramsey, Grant Stanley, Justine Clephane, David Gardiner, John Holmes, Neil Martin, Colin Shevills, Melanie Soutar, Felicia W. Chi, Constance Weisner, Thekla B. Ross, Jennifer Mertens, Stacy A. Sterling, Gillian W. Shorter, Nick Heather, Jeremy Bray, Hildie A. Cohen, Tracy L. McPherson, Cyrille Adam, Hugo López-Pelayo, Antoni Gual, Lidia Segura-Garcia, Joan Colom, India J. Ornelas, Suzanne Doyle, Dennis Donovan, Bonnie Duran, Vanessa Torres, Jacques Gaume, Véronique Grazioli, Cristiana Fortini, Sophie Paroz, Nicolas Bertholet, Jean-Bernard Daeppen, Jason M. Satterfield, Steven Gregorich, Nicholas J. Alvarado, Ricardo Muñoz, Gozel Kulieva, Maya Vijayaraghavan, Angéline Adam, John A. Cunningham, Estela Díaz, Jorge Palacio-Vieira, Alexandra Godinho, Vladyslav Kushir, Kimberly H. M. O’Brien, Laika D. Aguinaldo, Christina M. Sellers, Anthony Spirito, Grace Chang, Tiffany Blake-Lamb, Lea R. Ayers LaFave, Kathleen M. Thies, Amy L. Pepin, Kara E. Sprangers, Martha Bradley, Shasta Jorgensen, Nico A. Catano, Adelaide R. Murray, Deborah Schachter, Ronald M. Andersen, Guillermina Natera Rey, Mani Vahidi, Melvin W. Rico, Sebastian E. Baumeister, Magnus Johansson, Christina Sinadinovic, Ulric Hermansson, Sven Andreasson, Megan A. O’Grady, Sandeep Kapoor, Cherine Akkari, Camila Bernal, Kristen Pappacena, Jeanne Morley, Mark Auerbach, Charles J. Neighbors, Nancy Kwon, Joseph Conigliaro, Jon Morgenstern, Molly Magill, Timothy R. Apodaca, Brian Borsari, Ariel Hoadley, J. Scott Tonigan, Theresa Moyers, Niamh M. Fitzgerald, Lisa Schölin, Nicolas Barticevic, Soledad Zuzulich, Fernando Poblete, Pablo Norambuena, Paul Sacco, Laura Ting, Michele Beaulieu, Paul George Wallace, Matthew Andrews, Kate Daley, Don Shenker, Louise Gallagher, Rod Watson, Tim Weaver, Pol Bruguera, Clara Oliveras, Carolina Gavotti, Pablo Barrio, Fleur Braddick, Laia Miquel, Montse Suárez, Carla Bruguera, Richard L. Brown, Julie Whelan Capell, D. Paul Moberg, Julie Maslowsky, Laura A. Saunders, Ryan P. McCormack, Joy Scheidell, Mirelis Gonzalez, Sabrina Bauroth, Weiwei Liu, Dawn L. Lindsay, Piper Lincoln, Holly Hagle, Sara Wallhed Finn, Anders Hammarberg, Sven Andréasson, Sarah E. King, Rachael Vargo, Brayden N. Kameg, Shauna P. Acquavita, Ruth Anne Van Loon, Rachel Smith, Bonnie J. Brehm, Tiffiny Diers, Karissa Kim, Andrea Barker, Ashley L. Jones, Asheley C. Skinner, Agatha Hinman, Dace S. Svikis, Casey L. Thacker, Ken Resnicow, Jessica R. Beatty, James Janisse, Karoline Puder, Ann-Sofie Bakshi, Joanna M. Milward, Andreas Kimergard, Claire V. Garnett, David Crane, Jamie Brown, Robert West, Susan Michie, Ingvar Rosendahl, Claes Andersson, Mikael Gajecki, Matthijs Blankers, Kim Donoghue, Ellen Lynch, Ian Maconochie, Ceri Phillips, Rhys Pockett, Tom Phillips, R. Patton, Ian Russell, John Strang, Maureen T. Stewart, Amity E. Quinn, Mary Brolin, Brooke Evans, Constance M. Horgan, Junqing Liu, Fern McCree, Doug Kanovsky, Tyler Oberlander, Huan Zhang, Ben Hamlin, Robert Saunders, Mary B. Barton, Sarah H. Scholle, Patricia Santora, Chirag Bhatt, Kazi Ahmed, Dominic Hodgkin, Wenwu Gao, Elizabeth L. Merrick, Charles E. Drebing, Mary Jo Larson, Monica Sharma, Nancy M. Petry, Richard Saitz, Constance M. Weisner, Kelly C. Young-Wolff, Wendy Y. Lu, John R. Blosnich, Keren Lehavot, Joseph E. Glass, Emily C. Williams, Kara M. Bensley, Gary Chan, Julie Dombrowski, John Fortney, Anna D. Rubinsky, Gwen T. Lapham, Ariadna Forray, Todd A. Olmstead, Kathryn Gilstad-Hayden, Trace Kershaw, Pamela Dillon, Michael F. Weaver, Emily R. Grekin, Jennifer D. Ellis, and Lucy McGoron

Subjects
Medicine (General), R5-920, Social pathology. Social and public welfare. Criminology, HV1-9960
Published
2017
Full Text
View/download PDF

7. Is It Time for a Patient-Centered Quality Measure of Asthma Control?

Author

Ben Hamlin, Suzanne F. Beavers, Elizabeth Herman, and Kaytna Thaker

Subjects
business.industry, media_common.quotation_subject, Standardized test, Usability, Healthcare Effectiveness Data and Information Set, Emergency department, medicine.disease, Article, Asthma, Test (assessment), 03 medical and health sciences, 0302 clinical medicine, 030228 respiratory system, Patient-Centered Care, Health care, medicine, Immunology and Allergy, Humans, Quality (business), 030212 general & internal medicine, Medical emergency, business, media_common, Quality Indicators, Health Care
Abstract

Quality measures play a prominent role in the US health care system. They are used to monitor and report performance across health plans, providers, and health systems and are a foundational element of value-based payment. Measuring the quality of asthma care has been challenging because of a lack of reliable data to assess clinical processes and track patient-specific outcomes. Existing asthma Healthcare Effectiveness Data and Information Set measures rely on administrative claimse–derived data on dispensed medications. These are proxy measures of appropriate prescribing but are not reflective of comprehensive asthma care. The increase in the volume and specificity of longitudinal clinical data in electronic health records, movement toward electronic quality measures, and advances in electronic clinical data systems enable the development of more meaningful measures. A patient-reported measure of asthma control would incorporate key clinical indicators such as a validated age- and culturally appropriate test, and would reflect the combined outcome of medical management, self-management education, reduction of environmental exposures, and appropriate support services. Although there is a current quality measure that includes a test of asthma control (the Optimal Asthma Control Measure), work is needed to address questions about usability, patient literacy, and the influence of setting on self-reported scores. Comprehensive reliability and validity testing of both clinical data and stratification across risk groups will be needed to determine whether a measure based on standardized assessments of asthma control indeed promote improved clinical outcomes.

Published
2019

8. ISIFT

Author

Ryan Feng, Wu-chi Feng, and Ben Hamlin

Subjects
Novel technique, Feature transform, Computer science, business.industry, media_common.quotation_subject, Feature extraction, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, Scale-invariant feature transform, Pattern recognition, 02 engineering and technology, 020204 information systems, Adaptive system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Quality (business), Artificial intelligence, business, media_common
Abstract

In computer vision, scale-invariant feature transform (SIFT) remains one of the most commonly used algorithms for feature extraction, but its high computational cost makes it hard to deploy in real-time applications. In this paper, we introduce a novel technique to restructure the inter-octave and intra-octave dependencies of SIFT's keypoint detection and description processes, allowing it to be stopped early and produce approximate results in proportion to the time for which it was allowed to run. If our algorithm is run to completion (about 0.7% longer than traditional SIFT), its results and SIFT's converge. Unlike previous approaches to real-time SIFT, we require no special hardware and make no compromises in keypoint quality, making our technique ideal for real-time and near-real-time applications on resource-constrained systems. We use standard data sets and metrics to analyze the performance of our algorithm and the quality of the generated keypoints.

Published
2018
Full Text
View/download PDF

9. Observational Requirements for Long-Term Monitoring of the Global Mean Sea Level and Its Components Over the Altimetry Era

Author

Anny Cazenave, Ben Hamlington, Martin Horwath, Valentina R. Barletta, Jérôme Benveniste, Don Chambers, Petra Döll, Anna E. Hogg, Jean François Legeais, Mark Merrifield, Benoit Meyssignac, Garry Mitchum, Steve Nerem, Roland Pail, Hindumathi Palanisamy, Frank Paul, Karina von Schuckmann, and Philip Thompson

Subjects
sea-level change, satellite altimetry, GRACE (gravity recovery and climate experiment), Argo float array, sea level budget, Science, General. Including nature conservation, geographical distribution, QH1-199.5
Abstract

Present-day global mean sea level rise is caused by ocean thermal expansion, ice mass loss from glaciers and ice sheets, as well as changes in terrestrial water storage. For that reason, sea level is one of the best indicators of climate change as it integrates the response of several components of the climate system to internal and external forcing factors. Monitoring the global mean sea level allows detecting changes (e.g., in trend or acceleration) in one or more components. Besides, assessing closure of the sea level budget allows us to check whether observed sea level change is indeed explained by the sum of changes affecting each component. If not, this would reflect errors in some of the components or missing contributions not accounted for in the budget. Since the launch of TOPEX/Poseidon in 1992, a precise 27-year continuous record of sea level change is available. It has allowed major advances in our understanding of how the Earth is responding to climate change. The last two decades are also marked by the launch of the GRACE satellite gravity mission and the development of the Argo network of profiling floats. GRACE space gravimetry allows the monitoring of mass redistributions inside the Earth system, in particular land ice mass variations as well as changes in terrestrial water storage and in ocean mass, while Argo floats allow monitoring sea water thermal expansion due to the warming of the oceans. Together, satellite altimetry, space gravity, and Argo measurements provide unprecedented insight into the magnitude, spatial variability, and causes of present-day sea level change. With this observational network, we are now in a position to address many outstanding questions that are important to planning for future sea level rise. Here, we detail the network for observing sea level and its components, underscore the importance of these observations, and emphasize the need to maintain current systems, improve their sensors, and supplement the observational network where gaps in our knowledge remain.

Published
2019
Full Text
View/download PDF

10. Proceedings of the 14th annual conference of INEBRIA: New York, NY, USA, September 14–15, 2017

Author

Junqing Liu, Justine Clephane, Agatha Hinman, Bonnie McRee, Tiffiny Diers, Robert P. Schwartz, Gary Chan, Janice Vendetti, Colin Drummond, Laia Miquel, Stacy Sterling, Don Shenker, Ellen Lynch, Anthony Spirito, Fredrik, Harry Sumnall, Ian Russell, Roger Bedimo, Jayde A. M. Flett, Kim Donoghue, Eilish Gilvarry, David Rimland, Karoline Kolaas, Cristiana Fortini, Sara Wallhed Finn, Martha Bradley, Gaurav Sharma, Jan Gryczynski, Deborah S. Finnell, Dawn L. Lindsay, Sophie Paroz, Patrick G. O'Connor, Brian Borsari, Steven J. Ondersma, Jean-Bernard Daeppen, Véronique S. Grazioli, Sadie Boniface, Paul George Wallace, Colin Angus, Matthew Andrews, Sarah E. King, Montse Suárez, Sidney Sherborne, Mani Vahidi, Dorothy Newbury-Birch, Damian Scarf, Jon Morgenstern, Nico A. Catano, E. Jennifer Edelman, Alan Brennan, Melvin Rico, Anna Thurang, Divane de Vargas, Anders Hammarberg, Maya Vijayaraghavan, Ben Hamlin, Gwen T. Lapham, Mikael Gajecki, Fleur Braddick, Paul F. Cook, Thekla B. Ross, Tracy L. McPherson, Ariadna Forray, Lidia Segura-Garcia, Grace Chang, Ronald M. Andersen, Niamh Fitzgerald, Donna Castelblanco, Mary Brolin, Piper Lincoln, Jorge Palacio-Vieira, Doug Kanovsky, Dominic Hodgkin, Constance Weisner, Anne H. Berman, India J. Ornelas, Janaina Soares, Kathryn Gilstad-Hayden, Sebastian E. Baumeister, Colleen Hosler, Nancy Kwon, Ann-Sofie Bakshi, Karen Steinberg Gallucci, Constance M. Weisner, Ryan P. McCormack, Ian Maconochie, Thomas Phillips, Hugo López-Pelayo, Kristi Dusek, Antoni Gual, Ann M. Mitchell, Carla Bruguera, Karoline S. Puder, Keren Lehavot, Yanhong Deng, David A. Fiellin, Magnus Johansson, Rachael Vargo, Fernando Poblete, Jennifer D. Ellis, Matthijs Blankers, Petra Meier, Kathryne D. Reed, Mirelis Gonzalez, Kara E. Sprangers, Karissa Y. Kim, Trace Kershaw, Lisa Schölin, Lea R. Ayers LaFave, Amy Flynn, Kate Daley, John Rotrosen, Ian Wittman, Asheley Cockrell Skinner, Suzanne R. Doyle, Christine Savage, Emily R. Grekin, Joseph E. Glass, Nicola Howe, Eileen Kaner, Elizabeth L. Merrick, Dennis M. Donovan, Aisha Holloway, Meighan Rogers, Monica Sharma, Lucy McGoron, David Gardiner, Ruth Anne Van Loon, Brett R. Harris, Kazi Ahmed, David Crane, Kelly M. Doran, Cynthia L. Gibert, Ken Resnicow, Michael F. Weaver, Robert West, Khadejah F. Mahmoud, Laura A. Cariola, Sabrina Avripas Bauroth, Julie Whelan Capell, Shannon Gwin Mitchell, Kara M. Bensley, John R. Blosnich, Nick Heather, Kimberly H. McManama O'Brien, Margaret Wolff, Pamela Dillon, Tim Weaver, Maureen T. Stewart, Clara Oliveras, Jessica R. Beatty, Rachel M. Hodapp, Brooke Evans, Casey L. Thacker, Christina Sinadinovic, Jeremy W. Bray, Jennifer McNeely, Barbara Hanratty, Ida Gremyr, Elisabeth Petersén, Brendan J. Wedehase, John Strang, Ashley Jones, Emma L. Giles, Jason M. Satterfield, Pol Bruguera, Sion Kim Harris, Amy L. Pepin, Duncan Gillespie, Fern McCree, Robert Patton, Carolina Barbosa, Anna D. Rubinsky, Lillian Gelberg, Jeanne Morley, Jennifer Ferguson, Kate Gilstead-Hayden, Nancy M. Petry, Donna Shelley, Soledad Zuzulich, Molly Magill, Laura Aagaard, Amanda Atkinson, Nicholas Alvarado, Tamlin S. Conner, Julie Maslowsky, Nicolas Bertholet, Megan A. O’Grady, John Holmes, Amy O’Donnell, Denise Howel, Weiwei Liu, Rhys Pockett, Holly Hagle, Sarah Landale, Emily C. Williams, Wenwu Gao, Richard L. Brown, Jiang Yu, Rod Watson, JC Dombrowski, Brayden N. Kameg, Joseph Conigliaro, Christina M. Sellers, Vincent C. Marconi, Kathleen M. Thies, Preben Bendtsen, Ricardo F. Muñoz, Bonnie Duran, Joy Scheidell, Huan Zhang, Paolo Deluca, Grant McGeechan, Jo Frankham, Kendall J. Bryant, Nicolás Barticevic, Patricia Santora, Kevin E. O'Grady, Bonnie J. Brehm, Jacqueline Jones, Deborah Schachter, Sandeep Kapoor, Paul Sacco, John R. Knight, Wendy Lu, Nathan B. Hansen, Cherine Akkari, Carolina Gavotti, Ceri Phillips, Sven Andréasson, Brendan J. Clark, Kelly C. Young-Wolff, Constance M. Horgan, Benjamin C. Riordan, Laura A. Saunders, Pablo Barrio, Pablo Norambuena, Marla Oros, Elaine Stamp, Felicia W. Chi, Tyler Oberlander, Ingvar Rosendahl, Amy Ramsey, Kate Robaina, Christopher J. Cutter, John A. Cunningham, Timothy R. Apodaca, Michael S. Simberkoff, Andrea Barker, Susan Michie, Vanessa N. Torres, John C. Fortney, Dace S. Svikis, Ariel Hoadley, Claire Garnett, Nadine Hendrie, Melanie Soutar, Jamie Brown, Kimberly A. Yonkers, Kristina Sinadinovic, Laura Ting, D. Paul Moberg, Ivor S. Douglas, Ulric Hermansson, Joanna Milward, Adelaide R. Murray, Ruth McGovern, Gillian W Shorter, Robert C. Saunders, Catharina Linderoth, Tiffany Blake-Lamb, Lynn E. Fiellin, Elaine McColl, Mark Auerbach, Richard Saitz, Amy M. Loree, Camila Bernal, James Dziura, Neil Martin, J. Scott Tonigan, Claes Andersson, Joan Colom, Estela Díaz, Mary B. Barton, Shasta Jorgensen, Laura J. Dunlap, Barry S. Brown, Stephen A. Maisto, Guillermina Natera Rey, Rachel Smith, Laika D. Aguinaldo, Mary Jo Larson, Cyrille Adam, Angéline Adam, Gozel Kulieva, Andreas Kimergård, Steve Martino, Jennifer R. Mertens, Shauna P. Acquavita, Kristen Pappacena, Ulrika Müssener, Louise Gallagher, Sarah Hudson Scholle, Vladyslav Kushir, Grant Stanley, Geetha Subramaniam, Michele Beaulieu, James Janisse, Li-Tzy Wu, Charles E. Drebing, Maria C. Rodriguez-Barradas, Charles J. Neighbors, Steven E. Gregorich, Amity E. Quinn, Viviana Alabani, Ellen L. Burnham, Todd A. Olmstead, Alexandra Godinho, Arethusa Kirk, Luke Vale, Amy C. Justice, Hildie Cohen, Theresa B. Moyers, Jacques Gaume, Simon Coulton, Stephanie Scott, Erik Hedman, Chirag Bhatt, Lon Sherritt, and Colin Shevills

Subjects
medicine.medical_specialty, Social work, business.industry, Public health, Pharmacology toxicology, Library science, General Medicine, 03 medical and health sciences, Health psychology, 0302 clinical medicine, medicine, 030212 general & internal medicine, business, 030217 neurology & neurosurgery

Catalog

Books, media, physical & digital resources
See catalog results