BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

David Clark

David Clark contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.EPastro-ph.SRCryptography and Securityphysics.ao-phphysics.data-anSoftware Engineering

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

Quantitative Verification of Opacity Properties in Security Systems

We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework. We propose a logic, OpacTL , for straightforwardly expressing such properties in systems that can be modelled as partially observable labelled transition systems.We develop verification techniques for analysing property opacity with respect to observation notions. Adding a probabilistic operator to the specification language enables quantitative analysis and verification. This analysis is implemented as an extension to the PRISM model checker and illustrated via a number of examples. Finally, an alternative approach to quantifying the opacity property based on entropy is sketched.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Assimilation of distributed ocean wave sensors

In-situ ocean wave observations are critical to improve model skill and validate remote sensing wave measurements. Historically, such observations are extremely sparse due to the large costs and complexity of traditional wave buoys and sensors. In this work, we present a recently deployed network of free-drifting satellite-connected surface weather buoys that provide long-dwell coverage of surface weather in the northern Pacific Ocean basin. To evaluate the leading-order improvements to model forecast skill using this distributed sensor network, we implement a widely-used data assimilation technique and compare forecast skill to the same model without data assimilation. Even with a basic assimilation strategy as used here, we find remarkable improvements to forecast accuracy from the incorporation of wave buoy observations, with a 27% reduction in root-mean-square error in significant waveheights overall. For an extreme event, where forecast accuracy is particularly relevant, we observe considerable improvements in both arrival time and magnitude of the swell on the order of 6 hours and 1 m, respectively. Our results show that distributed ocean networks can meaningfully improve model skill, at extremely low cost. Refinements to the assimilation strategy are straightforward to achieve and will result in immediate further modelling gains.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Supercatastrophic disruption of asteroids in the context of SOHO comet, fireball and meteor observations

Granvik et al. (2016) report an absence of asteroids on orbits with perihelia near the Sun that they attribute to the 'supercatastrophic disruption' of these bodies. Here we investigate whether there is evidence for this process among other bodies with similarly low perihelia: near-Earth asteroids, SOHO comets, as well as meter-sized and millimeter-sized meteoroids. We determine no known near-Earth asteroids have past (last 10^4 years) histories residing significantly inside the Granvik et al. (2016) limit, indirectly supporting the disruption hypothesis. The exception is asteroid (467372) 2004 LG which spent 2500 years within this limit, and thus presents a challenge to that theory. Phaethon has a perihelion distance hovering just above the limit and may be undergoing slow disruption, which may be the source of its dust complex. We find that the rate at which ungrouped SOHO comets are observed is consistent with expected rates for the injection of small (25 m) class asteroids into the near-Sun region and suggest that this fraction of the SOHO-observed comet population may in fact be asteroidal in origin. We also find that there is an absence of meter-sized bodies with near-Sun perihelia but an excess of millimeter-sized meteoroids. This implies that if near-Sun asteroids disrupt, they do not simply fragment into meter-sized chunks but disintegrate ultimately into millimeter-sized particles. We propose that the disruption of near-Sun asteroids as well as the anomalous brightening and destruction processes that affect SOHO comets occur through meteoroid erosion, that is, the removal of material through impacts by high-speed near-Sun meteoroids.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

A common and natural intuition among software testers is that test cases need to differ if a software system is to be tested properly and its quality ensured. Consequently, much research has gone into formulating distance measures for how test cases, their inputs and/or their outputs differ. However, common to these proposals is that they are data type specific and/or calculate the diversity only between pairs of test inputs, traces or outputs. We propose a new metric to measure the diversity of sets of tests: the test set diameter (TSDm). It extends our earlier, pairwise test diversity metrics based on recent advances in information theory regarding the calculation of the normalized compression distance (NCD) for multisets. An advantage is that TSDm can be applied regardless of data type and on any test-related information, not only the test inputs. A downside is the increased computational time compared to competing approaches. Our experiments on four different systems show that the test set diameter can help select test sets with higher structural and fault coverage than random selection even when only applied to test inputs. This can enable early test design and selection, prior to even having a software system to test, and complement other types of test automation and analysis. We argue that this quantification of test set diversity creates a number of opportunities to better understand software quality and provides practical ways to increase it.

0 citations0 reviewsNo code linkedOpen access