Curious about what’s going on behind the scenes with verification? Bernard Murphy, Jim Hogan, and our own Paul Cunningham are on the case with the “Innovation in Verification” blog stream over at semiwiki.com. Every month, this trio reviews a newly-published paper in academia that pertains to verification and discusses its implications. Be sure to stop by—it’s a great place to see what might be coming down the pipeline someday.

This month, they discuss the implications of metamorphic testing. The purpose of metamorphic testing is to define a verification approach where is there is no “golden reference.” This situation comes up a lot now as designs grow in complexity, and it begs the question: “how does one know the design is verified if there is no standard to compare to?”. Metamorphic testing addresses the problem of not having a “gold standard” to compare to by comparing the results of related tests instead. The paper reviewed by this team used metamorphic testing to study methods of managing JavaScript tags.

Paul saw this as a valuable new class of coverage. Metamorphic testing represents a way to create better distribution analyses through understanding the relationships among tests. This can reveal critical-but-complex issues that traditional verification methods may overlook. He saw this as an emerging class of coverage that new verification tools could be built around. Paul asserted that a future metamorphic-testing-based tool’s main contribution to the field of verification would be to better analyze noisy performance results where the noise is multi-modal. It could be useful in detecting race conditions and similar hard-to-debug anomalies. Paul also sees metamorphic testing as ripe for ML techniques. Overall—Paul sees a bright future for metamorphic testing in verification.

Jim is reminded of Solido and Spice—these metamorphic testing capabilities are “more than just a feature”—they might be a product. Maybe even a whole new class of verification tools, as Paul said.

Bernard says that this topic is “too rich to address in one blog”, so be sure to head over to the post to see more of what the future has in store for verification.

Cyprus is ranked first in fDi’s Island Economies of the Future rankings, followed by the Dominican Republic and Sri Lanka. Cathy Mullan and Naomi Davies detail the results.

New York continues to reign as leader of fDi’s American Cities of the Future 2019/20 ranking. San Francisco retains second place with Toronto rising to third. Naomi Davies reports.

A more detailed look at fDi's judges’ top five American Cities of the Future 2019/20 for FDI strategy. Naomi Davies reports.

London has been named fDi’s inaugural Fintech Location of the Future for 2019/20, followed by Singapore and Belfast. 

Singapore has retained its place at the top of fDi's Asia-Pacific Cities of the Future ranking, with Shanghai and Tokyo completing the top three list. 

Australia tops the FDI Strategy category of fDi's Tourism Locations of the Future 2019/20 rankings, followed by Costa Rica and Azerbaijan.

Computer and network security is an ever-evolving field. As technology advances, cybercriminals find new ways to exploit vulnerabilities in order to get at your personal, financial, or organizational data. We recently spoke with Symantec's Director of Security Response Kevin Haley to get an idea of what threats you'll face in the next year or two.

In short, expect a continuation of common threats like ransomware, as well as the emergence of new threats from connected devices and the so-called Internet of Things. Plus, keep an eye out for the resurgence of an old threat made new.

Ransomware with a Twist

Ransomware — malicious software that locks your data or otherwise compromises your computer in an attempt to extort money — is not a new threat. It's been around for a number of years in various forms. But according to Haley, a new form of ransomware doesn't just lock your files; instead, it threatens to publicly release your data unless you pay up.

For many individuals, this may simply mean an embarrassing leakage of personal data — browser history, emails, photos, and so on. For a nonprofit, especially one that deals with sensitive sociopolitical issues, the possibility of data leakage can have more serious ramifications. It could pose a threat to the community you serve.

Email That Looks Like It Came from a Co-worker

In traditional phishing attempts, scammers create an email that appears to be from a legitimate source — say, Google, Amazon, or Apple. Then they attempt to steal account information, such as usernames and passwords. But in an emerging form of phishing, hackers may use emails purportedly from co-workers or business associates to try to steal information from your organization.

For example, Haley says, you may receive an email from a vendor or a colleague asking for specific pieces of information (such as tax forms) or for money outright. The only problem is that these emails originate from scammers, not your colleagues. And once you email an important piece of information to these impersonators, there's no way to get it back.

With proper data handling, though, you can avoid these sorts of nightmares. See our recent post, 5 Data Security Risks for Nonprofits (and How to Fix Them), to learn more.

The Internet of Things Can Make People Vulnerable

From smart locks to Internet-connected appliances, the Internet of Things promises to change the way we interact with all sorts of items within our homes and offices. But with this comes the potential for security headaches.

According to Haley, these "smart" devices are rarely protected properly, and are easy to infect with malware. And this isn't just an issue that may cause problems some years down the line. Last year, as CNET reported, a network of malware-infected DVRs and webcams overloaded a number of popular websites and online services, temporarily knocking them offline.

Word Macro Viruses Make a Comeback

Perhaps the most surprising threat Haley warned about was the revival of Word macro viruses.

Macro viruses use Microsoft Word's macro programming feature — typically used to automate certain tasks within Word — to infect your computer. Macro viruses have been around for many, many years. And Word disables macros by default: If you open a Word document with a macro, you'll have to click a button to tell Word to turn on any macros within that document.

With this new wave of macro viruses, however, criminals employ social engineering trickery to goad you into turning on macros, allowing the macro virus to do its thing.

Fortunately, you can easily protect yourself from getting infected. First, don't open file attachments from people you don't know. If you receive a Word document with macros from someone you do know, confirm with that person to make sure that they intended to send the macros and that they are safe to run.

As Always, Vigilance Is Key

Although specific threats may evolve over time, good security practices never go out of style. Use a security software package and keep it updated. Enforce good account security practices within your organization.

Don't open file attachments from people you don't know, and don't open unexpected file downloads. Secure all your devices as best you can. And if something seems fishy — perhaps that email from your boss doesn't seem quite right — don't be afraid to question it.

By taking small steps like these, you might save yourself — and your organization — some serious pain.

spanhidden

In spite of the uncertainty caused by Brexit, London retains its position as fDi's European City of the Future for 2020/21, while Paris keeps the regional crown.

London has retained its position as fDi’s European City of the Future, while Paris has climbed to second place, knocking Dublin into the third spot. 

London is crowned best major city in Europe in fDi's FDI Strategy category, with Glasgow, Vilnius, Reykjavik and Galway also winning out.

Paris Region has kept its fDi European Region of the Future title, while Dublin Region holds on to second place and North Rhine-Westphalia is in third. 

North Rhine-Westphalia is fDi's top large region for FDI Strategy, with the Basque Country topping the table for mid-sized regions and Ireland South East first among small regions. 

London LEP and Thames Valley Berkshire LEP hold on to their respective first and second places in the Local Enterprise Partnership rankings, while Oxfordshire LEP jumps up eight places to third. 

Hydrogen, which has been touted as the fuel of the future much of the past five decades, may finally be on the verge of converting its potential to reality.

On Tuesday, July 23 at the HydroVision International keynote, Vice President Marla Barnes asked the audience to close their eyes and envision their next vacation. “Are you sitting on a beach? Are you packing your family into the car for a wild adventure? What do you see,” she asked.

Many of us are somewhat familiar with what an electric utility does. Our house receives electricity, and we get a bill in the mail each month for it. Here in North Carolina, that bill is likely coming from Duke Energy. In other parts of the country it may be PG&E or Dominion Power. For at least a century, these utility monopolies have built power plants, installed transmission and distribution lines, billed customers for their electricity use, and the utility made a predictable margin for their work.

Renewable energy, particularly solar, is poised for significant growth in the southeastern United States. The Southeast has also mostly retained a vertically integrated utility model, and most utilities in the region have not joined a Regional Transmission Organization or Independent System Operator (collectively known as, RTO). Recent developments have led stakeholders and policymakers in the Southeast to rethink whether it is beneficial for some utilities to join RTOs – something that is generally seen as a positive development for renewable energy.

Distributed Energy Resources (DER), such as residential solar panels, are not only changing the way energy systems operate, they also present an opportunity to change the way local communities operate by giving consumers the ability to sell excess energy, generated by microgrids or renewable set-ups, to their neighbors – it’s the new energy paradigm.

Utilities and other energy experts convene each year at DISTRIBUTECH International (DTECH) to discuss the future of energy and this week Clarion Energy, organizer of the event, announced that the call for abstracts for the 2020 event is open.

Hydrogen, which has been touted as the fuel of the future much of the past five decades, may finally be on the verge of converting its potential to reality.

On Tuesday, July 23 at the HydroVision International keynote, Vice President Marla Barnes asked the audience to close their eyes and envision their next vacation. “Are you sitting on a beach? Are you packing your family into the car for a wild adventure? What do you see,” she asked.

Utilities are a natural partner for the geothermal heat pump (GHP) industry. Why? Because utilities have a broad consumer base and infrastructure, and need to both build load (sales) and levelize that demand to make the most efficient use of their electrical generation capacity throughout the year.  GHPs are a technology that fills that niche.

A new roadmap for the future of Ohio’s electric grid can benefit all types of interest groups, but the next few years will be critical for the plan to achieve its goals.

On Tuesday, July 23 at the HydroVision International keynote, Vice President Marla Barnes asked the audience to close their eyes and envision their next vacation. “Are you sitting on a beach? Are you packing your family into the car for a wild adventure? What do you see,” she asked.

Only time will tell whether this is right, but EV adoption is clearly rising both on the individual and fleet fronts. Utilities such as Southern California Edison and Ameren, among many others, are working to build EV charging infrastructure and align power distribution in a way to handle it.

Distributed Energy Resources (DER), such as residential solar panels, are not only changing the way energy systems operate, they also present an opportunity to change the way local communities operate by giving consumers the ability to sell excess energy, generated by microgrids or renewable set-ups, to their neighbors – it’s the new energy paradigm.

Utilities and other energy experts convene each year at DISTRIBUTECH International (DTECH) to discuss the future of energy and this week Clarion Energy, organizer of the event, announced that the call for abstracts for the 2020 event is open.

Hydrogen, which has been touted as the fuel of the future much of the past five decades, may finally be on the verge of converting its potential to reality.

Recent political changes have shaken Taiwan, and could put at risk the development and growth of its nascent offshore wind market.

Hydrogen, which has been touted as the fuel of the future much of the past five decades, may finally be on the verge of converting its potential to reality.

On Tuesday, July 23 at the HydroVision International keynote, Vice President Marla Barnes asked the audience to close their eyes and envision their next vacation. “Are you sitting on a beach? Are you packing your family into the car for a wild adventure? What do you see,” she asked.

The publication of the Scottish Energy Strategy (“SES”) in late December 2017 is the culmination of lengthy consultations and discussions on crucial choices affecting Scotland’s energy future. This SES is a live route map, setting ...

By 2030, according to Forbes, millennials will make up 75% of the workforce. Digitally wired since their childhoods, millennials favour work-life integration rather than work-life balance reflecting the way today’s boundaries between professio...

The labour broker industry faces great pressure to comply with the changes to the Labour Relations Act 66 of 1995, as amended, (“LRA”) read with amendments giving effect to the ‘equal pay for work of equal value’ principle in...

As Russia prepared for scaled-down Victory Day ceremonies, coronavirus infections rose fast and Moscow's mayor suggested the real numbers may be much higher than the official count.

This month Visa Europe announced its expansion of V.me, a digital wallet service which will be available to the majority of internet shoppers in the UK before the end of 2015. V.me launched in 2013 following a surge in the use of smartphones and tab...

Nteranya Sanginga is Director General of the International Institute of Tropical Agriculture

The post Pandemic Lays Bare Africa’s Deficits, but Youth Will Grow the Future appeared first on Inter Press Service.

OIL, IT HAS been said, is the blood coursing through the veins of the world economy. In 2020 the economy is bleeding red. As covid-19 keeps workers at home and planes on the ground, demand for oil has fallen faster … read more

Eversheds Sutherland and Smart Dubai consider the future of AI governance and how a proactive approach can create a trusted ecosystem and address ethical concerns. Authored by Charlotte Walker-Osborn and Erica Crosland Read the article here >...

Two important announcements this week are relevant to the UK’s immigration requirements for several years. Brexit is, of course, scheduled for 11pm on 31 January 2020. In addition, a report published yesterday makes recommendations for the fut...

Andrés Cañizález is a Venezuelan journalist and Doctor of political science

The post The Future of Journalism appeared first on Inter Press Service.

Since tea cultivation began around 800 years ago in what’s now Shizuoka Prefecture, it has been renowned as Japan’s largest tea-producing region. Benefitea repackages the ...

How multidimensional joint operations, lessons from past wars and new technologies have transformed Israel’s army, navy and air force.

The NBA has been in shutdown since the global pandemic brought sport to a standstill.

This video introduces the book "Building the Future of Quality Infrastructure".

Infrastructure is crucial for fostering countries’ economic development and prosperity.

The car is expected to change more in the next five years than it has in the last fifty. What will the future of automotive audio look like? What challenges will suppliers and OEMs alike face in the coming years? At the upcoming International Conference...